Dr. Carlo Furia

Biography

Carlo Furia is an Associate Professor at the Software Institute of Università della Svizzera italiana (USI). His research focuses on developing rigorous techniques and tools to analyze and improve the quality, correctness, and reliability of software systems. Furia's work aims to make formal methods practical and widely applicable, seeking to increase the level of automation in software engineering processes. He has spent seven years at ETH Zurich as a senior researcher and has a strong background in formal methods and software engineering. He has published numerous papers in reputable conferences, demonstrating his commitment to advancing the field through empirical evaluations and innovative techniques. Furia is actively involved in organizing scientific events, including being a program committee member for various international conferences and serving as an associate editor for the journal Empirical Software Engineering.

Research Interests

Courses