Carlo Alberto Furia

Hi, and welcome to my homepage!

I am currently a post-doc researcher at the Chair of Software Engineering at ETH Zürich. I have a PhD in Computer Science from Politecnico di Milano, a Master of Science in Computer Science from the University of Illinois at Chicago, and a Laurea degree in Computer Science Engineering also from Politecnico di Milano.

For more details check out my curriculum vitae.

Research interests

My main research interests are within the area of formal methods for software engineering. This includes a broad spectrum of approaches sharing the same goal of improving the quality, reliability, and correctness of software and software-intensive systems.

The following is a list of some of the research projects I'm involved in; see also my list of publications.

• Eve: the Eiffel integrated verification environment.
• gin-pink: automatic inference of loop invariants from postconditions.
• QFIS: a verifier for the theory of quantifier-free integer sequences.
• AutoTest: automated testing of object-oriented programs.
• AutoFix: automated program repair.
• AutoInfer: automatic inference of contracts.
• Model-based formal annotations.

Publications

For a complete listing see my publications page.

I also maintain a list of conferences I went to and talks given on my talks page.

You can check out some statistics on my publications on Google Scholar Citations, DBLP, ACM Digital Library, and MS Academic Search.

Teaching

• Fall 2011: Sofware verification
• Spring 2011: Software architecture
• Fall 2010: Sofware verification
• Spring 2010: Java and C# in depth and Software engineering seminar
• Fall 2009: Sofware verification
• Spring 2009: Software engineering seminar

Student projects and theses

I always have various proposals for interesting projects for semester and master's theses as well as for EiffelStudio Lab.

Events

Current events

• 19th International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, UK. 12--14 September 2012.
• 17th International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France. 18--20 July 2012.
• 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012). 20 May -- 1 June 2012, Prague, Czech Republic.

Past events

• 5th International Conference on Tests & Proofs (TAP 2011), co-located with the TOOLS conference series in Zurich, Switzerland. 30 June -- 1 July 2011.
• 16th International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, USA. 27--29 April 2011.
• The Future of Software Engineering Symposium (FOSE), in Zurich, Switzerland. 22--23 November 2010.
• Eiffel at 25, following FOSE in Zurich, Switzerland. 24 November 2010.

Miscellanea

• More information is available in my CV.
• My former research group: DEEP-SE.