Welcome
The Chair of Software Engineering is devoted to the development of methods and tools for improving software quality. Although we attempt to cover the whole field of software engineering, our areas of emphasis are:
- Software verification (both proofs and tests)
- Concurrency
- Persistence and evolution
- Object-oriented reengineering
- Language design and evolution (with particular focus on Eiffel)
As part of our activities we organize events such as the TOOLS conference series and the annual Laser Summer School. Until 2010 we published the Journal of Object Technology (JOT).
Come join us!
As part of our recent Advanced Investigator Grant from the European Research Council we have open positions in concurrency and verification at both the postdoc and PhD level. We are actively looking for candidates who will help us change the world of software development.News
May 08, 2013
Try some of our research tools online. The Comcom website lets you run them directly in your browser... Read more.
May 07, 2013
The paper Distributed Collaborative Debugging by H.-Christian Estler, Martin Nordio, Carlo A. Furia, and Bertrand Meyer has been accepted for publication... Read more.
April 10, 2013
The paper Concurrent Object-Oriented Development with Behavioral Design Patterns has been accepted for publication ... Read more
March 31, 2013
The paper Program Checking With Less Hassle
by Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
has been accepted for publication ... Read more
March 21, 2013
The paper Prototyping a Concurrency Model has been accepted for publication ... Read more
March 13, 2013
The Roboscoop team has successfully demonstrated their progress
at the SmartWorld workshop ... Read more
February 12, 2013
The paper Unifying Configuration Management with Merge Conflict Detection and Awareness Systems
has been accepted for publication... Read more
November 20, 2012
The paper What Good Are Strong Specifications?
has been accepted for publication... Read more