Francesco Pontiggia

I am a PhD student in the Trustworthy Cyber-Physical Systems (TrustCPS) Group, under the supervision of Ezio Bartocci, Michele Chiari and Laura Kovács. My main research focus is on verification and synthesis of probabilistic systems and programs.