Composite of faces in the group
Chair of Software Engineering

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:

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