His research interests center around developing rigorous techniques and tools to analyze and improve the quality, correctness, and reliability of software and systems. He is active in various software engineering (ICSE, ASE, ISSTA, TSE), formal methods (FM, iFM, SEFM, FAOC), and verification (TACAS, RV, VSTTE, STTT) communities and venues. Before joining Chalmers, he spent around seven years working as senior researcher in the Chair of Software Engineering at ETH Zurich. He has a PhD from the Politecnico di Milano.