University Assistant, MSc Institute of Computer Engineering Research Unit of Cyber-Physical Systems TU Wien Treitlstraße 3 1040 Wien, Austria Room: HA0305 Email: ta.ca.neiwutnull@aiggitnop.ocsecnarf Website: https://francescopont.github.io/

 

Research Interests
Probabilistic Hyperproperties, Model Checking, Formal Languages, Probabilistic Programming

Current Position
I am a PhD candidate at TU Wien in the Trustworthy Cyber-Physical Systems (TrustCPS) Group. Here, I am part of 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.

Education
MSc in Computer Science and Engineering at Politecnico di Milano (IT), 2021
BSc in Engineering of Computing Systems at Politecnico di Milano (IT), 2018

Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Francesco Pontiggia.

Francesco Pontiggia, Michele Chiari, and Matteo Pradella. “Verification of Programs with Exceptions Through Operator Precedence Automata”. In: Software Engineering and Formal Methods. Ed. by Radu Calinescu and Corina S. Pasareanu. Cham: Springer International Publishing, 2021, pp. 293–311. isbn: 978-3-030-92124-8.