Carlo A. Furia
Faculty of Informatics
USI Università della Svizzera italiana
Via G. Buffi 13
CH-6900 Lugano, Switzerland
E-mail: furiac@usi.ch
Bluesky: bugcounting.bsky.social
Mastodon: @bugcounting@mastodon.acm.org
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.
- 2024-07-02
- Challenges of Multilingual Program Specification and Analysis to be presented at ISoLA 2024!
- 2024-06-11
- Automated Repair of Information Flow Security in Android Implicit Inter-App Communication accepted at FM 2024!
- 2024-03-11
- An Empirical Study of Fault Localization in Python Programs to appear in EMSE!
- 2023-11-22
- HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools to appear in EMSE!
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.
- The ATOM research group page lists the current members of my group.
- The ATOM software page features some of the tools we developed as part of the group's research.
Teaching
The latest courses I've been teaching:
- Fall 2024: Programming fundamentals 1, Software design & modeling
- Spring 2024: Software analysis (publicly available material from the 2019 edition here)
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:
- Associate editor of the Empirical Software Engineering (EMSE) journal. Consider submitting your research there!
- PC member of FASE 2025, the 28th International Conference on Fundamental Approaches to Software Engineering, part of ETAPS 2025, Hamilton, Canada. 3–8 May 2025.
- PC member of FormaliSE 2025, the 13th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2025, Ottawa, Canada. 27–28 April 2025.
- PC member of the 19th International Conference on Integrated Formal Methods (iFM), Manchester, UK. 13–15 November 2024.