I am a Software Engineer at Meta, 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.
Software verification, static analysis, SMT solving