Carlo A. Furia
Faculty of Informatics
USI Università della Svizzera italiana
Via G. Buffi 13
CH-6900 Lugano, Switzerland
E-mail: furiac@usi.ch
Twitter: @bugcounting
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-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!
- 2023-11-14
- Reasoning About Exceptional Behavior At the Level of Java Bytecode won the best paper award at iFM 2023!
- 2023-09-11
- Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods to appear in EMSE!
- 2023-08-10
- Reasoning About Exceptional Behavior At the Level of Java Bytecode accepted at iFM 2023!
- 2023-08-10
- aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs and Towards Code Improvements Suggestions from Client Exception Analysis accepted at ICSME 2023!
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:
- Spring 2024: Software analysis (publicly available material from the 2019 edition here)
- Fall 2023: Programming fundamentals 1, Software design & modeling
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 the 19th International Conference on Integrated Formal Methods (iFM), Manchester, UK. 13–15 November 2024.
- Co-chair of the Doctoral Symposium of FM 2024, Milan, Italy. 9–13 September 2024.