Francesco Pontiggia is a PhD student at the TrustCPS group at TU Wien. His main research interests are on verification and synthesis techniques for probabilistic systems and programs.
