This is an old revision of the document!
Mission: Help people construct software that does what they expect
LARA is a research group led by Viktor Kunčak We develops precise automated reasoning techniques: tools, algorithms, languages and apply these techniques to synthesis and verification of computer systems. See, for example, https://stainless.epfl.ch
Our goal is to enable people to easily program and construct reliable and sophisticated systems.
Scientific Staff
![]() Viktor Kunčak |
||
![]() Andreas Pavlogiannis |
![]() Jad Hamza |
![]() Georg S. Schmid |
![]() Romain Edelmann |
![]() Romain Ruetschi |
![]() Nataliia Stulova |
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)