Lab for Automated Reasoning and Analysis LARA

NEWS and the RSS Feed

LARA develops precise automated reasoning techniques: tools, algorithms, languages.

We apply these techniques to synthesis and verification of computer systems. See, for example, the 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.

Main project: IMPLICIT PROGRAMMING

talk video

Information on joining and collaborating with LARA:

• 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