The Chair of Software Engineering is devoted to the development of methods and tools for improving software quality. Our areas of emphasis are:
- Software verification (both proofs and tests)
- Distributed and collaborative development
- Empirical software engineering
- Online learning technologies (MOOCs)
- Language design and evolution (with particular focus on Eiffel)
As part of our activities we organize events such as the annual Laser Summer School.
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
July 9, 2014
Scott West successfully defended his PhD thesis Correctness and Execution of Concurrent Object-Oriented Programs. Congratulations!
June 18-19, 2014
The Roboscoop team demonstrated their progress at the SmartWorld Workshop 2014 in Thun, Switzerland. Check out the video of the SmartWalker gesture control.
April 29, 2014
Nadia Polikarpova successfully defended her PhD thesis Specified and Verified Reusable Components. Congratulations!
The first scientific advisory board meeting of our ERC Advanced Grant Concurrency Made Easy was held at ETH Zurich. The photo shows board members Manfred Broy, Maurice Herlihy, José Meseguer, Jayadev Misra, Dave Parnas, and Bill Roscoe with the CME team.
March 5, 2014
Benjamin Morandi successfully defended his PhD thesis Prototyping a concurrency model. Congratulations!
Recently accepted publications
|Title||Authors||Conference or Journal||Accepted|
|DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification||Galeotti, Furia, May, Fraser, Zeller||HVC 2014||September 14, 2014|
|Bounded Variability of Metric Temporal Logic||Furia, Spoletini||TIME 2014||June 14, 2014|
|Simple Concurrency for Robotics with the Roboscoop Framework||Rusakov, Shin, Meyer||IROS 2014||May 17, 2014|
|Verifying Monadic Second-Order Properties of Graph Programs||Poskitt, Plump||ICGT at STAF 2014||May 12, 2014|
|Awareness and Merge Conflicts in Distributed Software Development||Estler, Nordio, Furia, Meyer||ICGSE 2014||Apr 27, 2014|
|Safe and Efficient Data Sharing for Message-Passing Concurrency||Morandi, Nanz, Meyer||COORDINATION 2014||Mar 11, 2014|
|SPOC-supported Introduction to Programming||Piccioni, Estler, Meyer||ITiCSE 2014||Mar 03, 2014|
|Teaching a Core CS Concept through Robotics||Magnenat, Shin, Riedo, Siegwart, Ben-Ari||ITiCSE 2014||Mar 03, 2014|
|Automated Fixing of Programs with Contracts||Pei, Furia, Nordio, Wei, Meyer, Zeller||IEEE TSE||Mar 03, 2014|
|Flexible Invariants Through Semantic Collaboration||Polikarpova, Tschannen, Furia, Meyer||FM 2014||Feb 01, 2014|
|Contracts in Practice||Estler, Furia, Nordio, Piccioni, Meyer||FM 2014||Feb 01, 2014|