LARA

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.

Viktor Kuncak
Andreas Pavlogiannis	Jad Hamza	Georg S. Schmid
​ Romain Edelmann	Nicolas Voirol	Romain Ruetschi
Manos Koukoutos	Sarah Sallinger

See also the official list of past and current PhD students and automatically generated administrative page of the group.

Information on joining and collaborating with LARA:

• About IC
• for postdoc positions, email Viktor Kuncak and check EPFL Fellows program (PDF document)
• PhD Positions and information about EPFL
  • Slides from a Seminar for Starting PhD Students (September 2009, somewhat context-specific)
• Master's program (promotional video from this page)
• EPFL internships
• Exchanges for EPFL students