Speakers

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

• Thomas Ball , Microsoft Research
  
  
  

• Gérard Berry , Esterel Technologies
  
  

• C.A.R Hoare, Microsoft Research (co-director)
  
  

• 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.
  

• Natarajan Shankar, SRI International