University Assistant, MSc Institute of Logic and Computation Security and Privacy Group TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0110 Email: ta.ca.neiwutnull@odranreb.ordep Website: https://secpriv.tuwien.ac.at/team/361529-pedro-bernardo/

Research Interests
Web Security, Formal Methods

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Security and Privacy research group under the supervision of Prof. Matteo Maffei.

Education
MSc in Computer Science and Engineering at Instituto Superior Tecnico, University of Lisbon
BSc in Computer Science and Engineering at Instituto Superior Tecnico, University of Lisbon

Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Pedro Miguel Sousa Bernardo.