Lab for Automated Reasoning and Analysis LARA

Mission: Help people construct software that does what they expect

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, 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


Fabien Salvi
System Manager
Fabien Salvi
Yvette Gallay
Yvette Gallay


Joining LARA and EPFL IC

Information on joining and collaborating with LARA:


LARA Research Staff, 2012


LARA Research Staff, 2009

start.txt · Last modified: 2015/09/18 11:10 by vkuncak