About me

I am a computer science master student at the University of Padova, Italy. I am currently an exchange student at the University of California, Santa Cruz, doing research in Programming Languages with my advisors Paolo Baldan (at UniPD) and Cormac Flanagan (at UCSC). My research interests include model checking concurrent systems and dynamic software analysis. See my curriculum vitae for more details.

Current and past projects

  • Seer, lightweight symbolic execution for Python without instrumentation [paper]
  • Adversarial Helgrind, accurate race detection using adversarial memory models
  • AUnf, an efficient and fast unfolder for contextual petri nets
  • Unfolder, an unfolder for contextual petri nets, old C implementation [thesis]

Hobbies and interests

I love to act and have done it with my theatrical company Nugae Teatrali since its very beginnings, performing in various plays. I also played in The Mummified Deer under the direction of Kinan Valdez.

I also love photography and do both digital and chemical processes: see my flow of pictures for some clue about what I do!