Francesco Pontiggia

I am a Ph.D. candidate in the Trustworthy Cyber-Physical Systems Research Group at TU Wien, under the supervision of Ezio Bartocci, Michele Chiari and Laura Kovács. I am part of the LogiCS doctoral programme.

I am interested in verification and synthesis of probabilistic programs and systems. The main hammer I use is model checking and logical formalisms. In particular, within the Corpora Lab we investigate programs that involve both recursion and randomization, while in the ProbIng Lab we analyse the so called probabilistic hyperproperties, i.e. properties correlating multiple executions of a system.