If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Carlo A. Furia



What Good are Formal Methods for Software Engineering?
Speaker: Carlo A. Furia
Chalmers University of Technology, Sweden
Date: Wednesday, November 22, 2017
Place: USI Lugano Campus, room A-13, Red building (Via G. Buffi 13)
Time: 09:30-10:30



In the last 15 years, research in formal methods and verification has finally started to deliver practical techniques that are applicable to realistic software and bring tangible benefits to developers. In this talk, I will discuss what set off this "new wave" of practical formal methods, and how my research contributed to it. Guided by the engineering idea of finding interesting trade-offs between the effort required to apply an approach and the benefits it brings, I will present rigorous techniques, from automated program repair to full functional correctness verification, that have been successfully applied to realistic object-oriented software to improve its correctness and quality.




Carlo A. Furia is an associate professor in the Formal Methods/Software Technology Division of Chalmers University of Technology. 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.


Host: Prof. Michele Lanza


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube