Francesco Pontiggia
University Assistant, MSc Institute of Computer Engineering Research Unit of Cyber-Physical Systems TU Wien 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.
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.