Bio

I am an associate professor in Computer Science at Ca’ Foscari University of Venice. My research interests cover the application of static analysis techniques to the software engineering process, as well as modern software architectures (e.g., microservices). I have about 20 years of experience in scientific research in these areas, witnessed by more than 70 scientific articles, more than 20 patents, and dozens of talks at technical conferences, universities, and fairs. I supervise several PhD, master, and bachelor students, and I have been involved in many research projects, from the writing of the proposal to the development and conclusion of the project (full details in my full cv). In March 2025, I obtained the Italian national habilitation (ASN) for full professorship in the ING-INF/05 scientific area. Since October 2026, I have been the Rector’s Delegate for the University Website at Ca’ Foscari.

I joined Ca’ Foscari University as a tenure-track assistant professor in November 2019, and I became associate professor in November 2022. Previously, from 2013 to 2019, I worked in industry, gaining experience in delivering prototypes and commercial tools to customers, filling the gap between scientific research and the development and delivery of software products, as well as technical and commercial presentations to customers, evaluation activities, and the preparation of commercial and technical documentation.

In particular, I was the Head of Research and Development at JuliaSoft SRL (a spin-off of the University of Verona focused on the static analysis of Java, Android, and .NET programs) from February 2016 to November 2019, where I supervised the development of the scientific core of an industrial static analyzer and the dissemination of its scientific results. I was a Research Staff Member in the Mobile Enterprise Software group led by Marco Pistoia at the IBM T.J. Watson Research Center from July 2013 to December 2015, and a lecturer and postdoc at ETH Zurich in the Programming Methodology group led by Peter Müller from April 2009 to July 2013. I obtained my PhD degree in Computer Science from the École Polytechnique of Paris and Ca’ Foscari University of Venice; my advisors were Radhia Cousot and Agostino Cortesi, and I defended my thesis at the École Normale Supérieure on May 22nd, 2009. In addition, I was an intern at Microsoft Research in Redmond in the PLA group in fall 2007, under the supervision of Francesco Logozzo.

Professional experience

Nov. 2022 – Today: Associate professor at Ca’ Foscari University of Venice, Italy
Spring 2026: Lecturer (“Typage et analyse statique”) at Sorbonne Université, Paris, France
Feb.–Mar. 2025: Invited Professor at Sorbonne Université, Paris, France
Nov. 2019 – Nov. 2022: Tenure-track assistant professor at Ca’ Foscari University of Venice, Italy
Feb. 2016 – Nov. 2019: Head of Research and Development at JuliaSoft SRL, Verona, Italy
Jul. 2013 – Dec. 2015: Research Staff Member at IBM T.J. Watson Research Center, New York, U.S.A.
Apr. 2009 – Jul. 2013: Postdoc and lecturer at ETH Zurich, Switzerland

Institutional roles at Ca’ Foscari University of Venice

Oct. 2026 – Today: Rector’s Delegate for the University Website
Oct. 2026 – Today: Delegate for Public Engagement, Department of Environmental Sciences, Informatics and Statistics
Oct. 2026 – Today: Responsible for the relationships of the Computer Science teaching committee with enterprises and stages
2025, 2026: President of the commission of the state exam for the admission to the Italian register of computer engineers
Jan. 2024 – Today: Member of the third mission committee, Department of Environmental Sciences, Informatics and Statistics
2023 – Today: Co-organizer (with Andrea Marin) of Google DevFest Venezia
Jan. 2023 – Today: Member of the quality assurance group of the master in Computer Science and Information Technology (CM90)
2021 – 2023: Elected member of the Coordinamento interdipartimentale dei Ricercatori di Ca’ Foscari
May 2021 – Today: Coordinator (with prof. Francesco Casarin) of the Gruppo scacchistico cafoscarino
Nov. 2020 – Today: Member of the teaching committee of the bachelor programme in Digital Management
Oct. 2019 – Today: Member of the teaching committee of the PhD programme in Computer Science

Scientific service (selection)

2027: Review Committee member, OOPSLA
Jul. 2026: Opponent, PhD committee of Dario Amoroso D’Aragona, Tampere University, Finland
2026: Program Committee member, ISSTA
2026: Doctoral Symposium Co-Chair, ECOOP
Dec. 2025: Reviewer, PhD committee of Charles Babu, Université de Lorraine, France
Oct. 2025: Organizer, Dagstuhl Seminar 25421 “Sound Static Program Analysis in Modern Software Engineering”
Jun. 2025: Reviewer, PhD committee of Michael Schwarz, Technische Universität München, Germany
2025: Financial Chair, IEEE Euro S&P
2025: Review Committee member, OOPSLA
2022 – Today: Program Co-Chair and General Chair, CSV (Challenges of Software Verification)
2023: Program Co-Chair, SOAP
2021 – Today: Review Editor, Frontiers in Computer Science (Computer Security)

Education

Oct. 2005 – May 2009: PhD in Computer Science at École Polytechnique of Paris, France and Ca’ Foscari University of Venice, Italy
Jul. 2003 – Feb. 2005: MA in Computer Science at Ca’ Foscari University of Venice, Italy
Sep. 2000 – Jul. 2003: BA in Computer Science at Ca’ Foscari University of Venice, Italy

Awards and honors

Mar. 2025: Habilitation for full professorship (ING-INF/05 scientific area), ASN, Italian Ministry of University and Research
Oct. 2024: Finalist for the Best Safety, Security, and Rescue Robotics paper award, IROS 2024
Oct. 2020: Winner in the ICT category, Start Cup Veneto, with the project FACTORS (Formal Assurance of Cybersecurity and Trustability Of Robotics Systems)
Jun. 2018: ACM SIGSOFT FME Distinguished Paper Award, FormaliSE
Oct. 2015: IBM Research Accomplishment, “Fundamental Contributions to Program Analysis and Programming Languages for Mobile”
Jul. 2014: ACM SIGSOFT Distinguished Paper Award, ISSTA