About me

Short Bio

I am a researcher (RTD-A) at Ca’ Foscari University of Venice since February 2023.
Previously, I was a PhD student at the University of Pisa and a postdoc at the University of Pisa and at Ca’ Foscari.
My research interests include programming languages, formal methods, and language-based security.

Community service

  • PC member: PriSC'24,SecDev'23, FCS'23, CSR'23, PriSC'22, SecDev'22, FCS'22
  • Artifact evaluation committee member: POPL'24
  • Reviewer: Elsevier ``Blockchain: Research and Applications’’ (BCRA)
  • External reviewer: ITASEC'20, HotSpot'20, POST'19
  • Student volunteer: ITASEC'20, POPL'20

Education and experiences

  • Nov. 2017 - Dec. 2020, Ph.D. in Computer Science @ University of Pisa — thesis
  • Feb. 2019 - May 2019, Visiting Scholar, DistriNet @ KU Leuven
  • Oct. 2015 - Oct. 2017, M.Sc. in Computer Science @ University of Pisa — thesis
  • Oct. 2012 - Oct. 2015, B.Sc. in Computer Science @ University of Pisa

Languages

  • Italian: native
  • English: C1
< prev |

home