Carlo A. Furia

I'm an associate professor in the Software Institute part of the Faculty of Informatics of the Università della Svizzera italiana (a.k.a. USI — pronounced "OO-see"). My research interests center around developing rigorous techniques and tools to analyze and improve the quality, correctness, and reliability of software and systems.

About me

I have a PhD in Computer Science from the Politecnico di Milano, a Master of Science in Computer Science from the University of Illinois at Chicago, and a Laurea degree in Computer Science and Engineering also from the Politecnico di Milano. Before joining USI, I was an associate professor at Chalmers University of Technology. Before Chalmers, I spent about seven years as senior researcher at ETH Zurich in the remarkable Chair of Software Engineering (don't look for it; it's not there anymore).

Research

Most of my research is in the area of formal methods for software engineering. These include a wide array of models, techniques, methods, and tools to support the analysis, rigorous development, and verification of software and software-intensive systems. Much of my work aims at making formal methods practical and more widely applicable—for example by increasing the level of automation. It often features combinations of diverse techniques to improve versatility and reduce limitations; and thorough empirical evaluations to assess relevance and impact of research outcomes. Aiming to improve the rigor of empirical evaluations, I have also been increasingly interested in using state-of-the-art Bayesian data analysis techniques to analyze software engineering data.

My profile on: Google Scholar Citations, DBLP, ORCID, Semantic Scholar, ACM Digital Library, MS Academic Search, and Arnetminer.

Teaching

The latest courses I've been teaching:

If you're a student looking for a project or thesis topic, feel free to drop me a line. My research page gives you an idea of some of the work I've done, but often there are more specific topics that we can discuss in person.

Events

Scientific events, such as conferences, I'm currently involved in organizing: