Welcome
ETH Zurich had a Chair of Software Engineering from the end of 2001 to 2016, headed by Prof. Bertrand Meyer. The present site continues to be actively maintained and contains extensive information about projects, achievements and people of the Chair.
The Chair's members completed dozens of research projects, attracted over 8 million francs/dollars/euros from external sources including an ERC Advanced Investigator Grant project (later transferred to Politecnico di Milano), supervised hundreds of master's student theses, published hundreds of articles, several dozen conference proceedings and three books, and completed 23 PhD theses. We were responsible for the first-semester "Introduction to Programming" course which introduced about 5000 entering students to modern programming from 2003 to 2015, and for dozens of other courses at all levels.
Our research advanced the state of the art in several areas of software engineering including:
- Software verification (both proofs and tests)
- Concurrency
- Software for robotics
- Distributed and collaborative development
- Empirical software engineering
- Online learning technologies (MOOCs)
- Language design and evolution (with a particular focus on Eiffel)
As part of our activities we organized events such as the annual LASER Summer School and numerous international conferences: several instances of TOOLS (Technology of Object-Oriented Languages and Systems), the first two TAP (Tests And Proofs), ESEC (European Software Engineering Conference), SEAFOOD (on software engineering for outsourcing), the Wirth 80-th anniversary symposium, the first VSTTE (Verified Software: Theories, Tools, Experiments), as well as numerous seminars with guest speakers from all over.
Many of the projects continue in a different form under the leadership of Prof. Meyer in other institutions including Politecnico di Milano, Innopolis University, University of Toulouse, Eiffel Software and more recently the Schaffhausen Institute of Technology.
News
An archive of our past news and updates can be found here.
Latest Publications
See also our full publication list for PDFs, bibliographic data, and older articles.
| Title | Authors | Conference or Journal | Accepted |
|---|---|---|---|
| SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages | Kolesnichenko, Poskitt, Nanz | COMLAN | August 6, 2016 |
| SmartWalker: an Intelligent Robotic Walker | Shin, Rusakov, Meyer | JAISE | June 8, 2016 |
| An Interference-Free Programming Model for Network Objects | Schill, Poskitt, Meyer | COORDINATION 2016 | Mar 30, 2016 |
| A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs | Corrodi, Heußner, Poskitt | FASE 2016 | Dec 18, 2015 |
| Contract-Based General-Purpose GPU Programming | Kolesnichenko, Poskitt, Nanz, Meyer | GPCE 2015 | July 27, 2015 |
| Concurrency Patterns for Easier Robotic Coordination | Rusakov, Shin, Meyer | IROS 2015 | Jun 29, 2015 |
| Efficient and Reasonable Object-Oriented Concurrency | West, Nanz, Meyer | ESEC/FSE 2015 | May 27, 2015 |
| The AutoProof Verifier: Usability by Non-Experts and on Standard Code | Furia, Poskitt, Tschannen | F-IDE 2015 | May 12, 2015 |
| Automatic Speed Control for SmartWalker | Shin, Steinmann, Meyer | PETRA 2015 | Apr 27, 2015 |
| Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking | Galeotti, Furia, May, Fraser, Zeller | IEEE TSE | April 26, 2015 |