Composite of faces in the group
Chair of Software Engineering


The Chair of Software Engineering is devoted to the development of methods and tools for improving software quality. Our areas of emphasis are:

As part of our activities we organize events such as the annual Laser Summer School.


November 1, 2015
Chris Poskitt is participating in the Dagstuhl Seminar on Verification of Evolving Graph Structures.

July 17, 2015
Our paper SmartWalker: Towards an Intelligent Robotic Walker for the Elderly won the Best Paper Award at the 11th International Conference on Intelligent Environments (IE'15).

June 25, 2015
Our paper A Fully Verified Container Library won the Best Paper Award at the 20th International Symposium on Formal Methods (FM'15).

April 2, 2015
Carlo A. Furia will give a tutorial on the Eiffel verification tools at TAP 2015 in L'Aquila, Italy.

February 16, 2015
The second edition of our edX MOOC is starting soon!

December 18, 2014
Julian Tschannen, Yu Pei, and Christian Estler successfully defended their PhD theses. Congratulations!

December 5, 2014
The website for the LASER Summer School 2015 is now online. The topic for the 12th edition of this summer school is Concurrency: the next frontiers.

September 24, 2014
The paper A Comparative Study of Programming Languages in Rosetta Code by Sebastian Nanz and Carlo A. Furia is discussed on Slashdot and elsewhere.

August 21, 2014
Our paper Awareness and Merge Conflicts in Distributed Software Development won the Best Paper Award at the 9th International Conference on Global Software Engineering (ICGSE'14).

August 5, 2014
Prof. Bertrand Meyer has been awarded an honorary doctorate by the University of York, UK, in recognition of his contributions to software engineering.

July 14, 2014

Our group's research on automatic language translation gave rise to an ETH Spinoff company mtSystems. The company offers fully automatic, complete, and correct translation of C source code to Java source code, at a low cost and with low risk!

Older news...

Recently accepted publications

Title Authors Conference or Journal Accepted
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
A Fully Verified Container Library Polikarpova, Tschannen, Furia FM 2015 Mar 23, 2015
SmartWalker: Towards an Intelligent Robotic Walker for the Elderly Shin, Itten, Rusakov, Meyer IE 2015 Mar 16, 2015
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Heu├čner, Poskitt, Corrodi, Morandi GaM at ETAPS 2015 Feb 13, 2015
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems Nandi, Monot, Oriol CBSE 2015 Feb 9, 2015
Automated Program Repair in an Integrated Development Environment Pei, Furia, Nordio, Meyer ICSE 2015 Jan 21, 2015


Chair of Software Engineering, Meyer
Clausiusstrasse 59
RZ Building
8092 Zurich


Secretary: Claudia Günthart
Fax: +41 44 632 14 35