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.

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
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

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