Francesco Pontiggia

University Assistant, MSc
Institute of Computer Engineering
Research Unit of Cyber-Physical Systems

TU Wien
Treitlstraße 3
1040 Wien, Austria

Room: HA0305


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.

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

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.