Francesco Pontiggia
 |
University Assistant, MSc Institute of Computer Engineering Research Unit of Cyber-Physical SystemsTU 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.
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.
Roman Andriushschenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia and Sarah Sallinger. “Deductive Controller Synthesis for Probabilistic Hyperproperties”. In: Quantitative Evaluation of SysTems (QEST), 2023.
Michele Chiari, Dino Mandrioli, Francesco Pontiggia and Matteo Pradella. “A Model Checker for Operator Precedence Languages”. In: ACM Transactions on Programming Languages and Systems (TOPLAS), 2023.
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.
