Meta Research

I am a software engineer at Facebook, working in the WhatsApp Dev Infra team. I received my PhD in computer science from Università della Svizzera italiana (USI) in 2020.

My research interests centre around software verification, static analysis, and SMT solving using parallel computation. Recently, I worked on the verification of smart contracts for blockchain-based systems.