This website is about the 2007 edition of the school. Visit this year's edition of LASER.

LASER Summer School on Software Engineering


Applied Software Verification

Practical advances towards a Grand Challenge

September 9 - 15, 2007
Elba, Italy

Directors: Tony Hoare (Microsoft Research), Bertrand Meyer (ETH Zürich)



The 2007 LASER school brings together six of the best experts in the field:

  • Bertrand Meyer, ETH Zürich/Eiffel Software (co-director)
    Bertrand Meyer is Professor of Software Engineering at ETH Zürich and Chief Architect of Eiffel Software. His current research interests include object technology, proofs and tests of classes, object-oriented concurrency.
  • Peter Müller, Microsoft Research
    Peter Müller is a Researcher in the Programming Languages and Methods Group at Microsoft Research, Redmond. Previously he was Assistant Professor and head of the Software Component Technology Group at the Computer Science Department of ETH Zurich. His work focuses on formal specification and verification of object-oriented software.

Chair of Software Engineering - ETH Zürich Last update: 23.08.2007