Scholar
Francesco Pontiggia
Google Scholar ID: PwC8SMEAAAAJ
Project Assistant, TU Wien
Citations & Impact
Citations
36
H-index
5
i10-index
1
Publications
10
Co-authors
5
list available
Publications
Resume (English only)
Academic Achievements
- Presented the tool paper 'POPACheck: A Model Checker for Probabilistic Pushdown Automata' at CAV'25, and presented the paper 'Decentralized Planning Using Probabilistic Hyperproperties' at AAMAS'25, which won the Best Student Paper Award. Additionally, gave talks at various conferences and workshops.
Research Experience
- Involved in several research projects, including investigating programs that involve both recursion and randomization in Corpora Lab, and analyzing so-called probabilistic hyperproperties in ProbIng Lab. Presented papers and gave talks at multiple international conferences.
Education
- Ph.D. student at the Trustworthy Cyber-Physical Systems Research Group, TU Wien, under the supervision of Prof. Ezio Bartocci, Dr. Michele Chiari, and Prof. Laura Kovács. Also part of the LogiCS@TUWien Doctoral Programme.
Background
- Research interests include automata theory, formal languages, formal methods, temporal logics, probabilistic programming and Bayesian inference, and planning techniques in probabilistic environments. Currently working on verification and synthesis problems for probabilistic programs and systems.
Miscellany
- Passionate about functional programming, particularly the Haskell programming language. Besides computer science research, loves studying history.
