Carlo A. Furia
I'm an associate professor in the Software Technology Division of the Department of Computer Science and Engineering of Chalmers University of Technology. My research interests center around developing rigorous techniques and tools to analyze and improve the quality, correctness, and reliability of software and systems.
- Bounded Variability of Metric Temporal Logic to appear in the AMAI journal!
- The Proceedings of TAP 2016 are available online.
- AutoProof: Auto-active Functional Verification of Object-oriented Programs to appear in the STTT journal!
- Why Just Boogie? Translating Between Intermediate Verification Languages accepted at iFM 2016!
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 coming to 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).
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.
The domains where I made major contributions include: practical techniques and tools to analyze, reason about, and improve software equipped with simple elements of functional specification such as assertions; and models and techniques to rigorously describe and reason about the behavior of systems, such as real-time, hybrid, and cyber-physical systems.
Try out some of our verification tools online on Comcom!
- Currently supervised PhD student: Jeff (YuTing) Chen
- More on my research, with descriptions of projects and software tools
- My publications page, with details and PDFs
- List of talks, and conferences I attended
- My profile on: Google Scholar Citations, DBLP, ORCID, Semantic Scholar, ACM Digital Library, MS Academic Search, and Arnetminer
The latest course I've been teaching:
- Spring 2017: Concurrent programming
The teaching page has a longer list including older courses.
If you're a student looking for a project or thesis topic, check out these student projects, as well as my research page; feel free to drop me a line if you find something that interests you or simply want to discuss possible topics.
Scientific events, such as conferences, I'm currently involved in organizing:
- PC member of the 13th International Conference on integrated Formal Methods (iFM), Torino, Italy. 18–22 September 2017.
- PC member of the 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), Heidelberg, Germany. 22–23 July 2017.
- PC member of the 11th International Conference on Tests & Proofs (TAP), an event of STAF 2017, Marburg, Germany. 17–21 July 2017.
- PC member of the 11th Ershov Informatics Conference (PSI), Moscow, Russia. 26–29 June 2017.
- PC member of the 39th International Conference on Software Engineering (ICSE), Buenos Aires, Argentina. 20–28 May 2017.
- PC member of the 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), Bern, Switzerland. 20–22 April 2017.
The events page has a longer list including past events.
The talks page lists events I've attended, often participating by giving a talk.