Hi!

I am a PhD student at Ca’ Foscari University of Venice, under the supervision of Prof. Pietro Ferrara. I am a member of the Software and System Verification (SSV) research group, a team led by Prof. Agostino Cortesi.

Giacomo Zanatta

  • (2023) M.S. Computer Science, Ca' Foscari
  • (2018) B.S. Computer Science, Ca' Foscari