This is an old revision of the document!
Mission: Help people construct software that does what they expect
LARA develops precise automated reasoning techniques: tools, algorithms, languages.
We apply these techniques to synthesis and verification of computer systems. See, for example, Leon verification and synthesis system.
Our goal is to enable people to easily program and construct reliable and sophisticated systems.
We work in areas of Programming Languages and Formal Methods as well as Artificial Intelligence.
Scientific Staff
Viktor Kuncak |
Jad Hamza |
Georg S. Schmid |
Romain Edelmann |
Nicolas Voirol |
Mikael Mayer |
Ravichandhran Kandhadai Madhavan |
Manos Koukoutos |
Marco Antognini |
See also the official list of past and current PhD students and automatically generated administrative page of the group.
Support
System Manager Fabien Salvi |
Secretary Sylvie Jankow |
Academic Alumni
Joining LARA and EPFL IC
Information on joining and collaborating with LARA:
- PhD Positions and information about EPFL
- Slides from a Seminar for Starting PhD Students (September 2009, somewhat context-specific)