Lab for Automated Reasoning and Analysis LARA

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,

Our goal is to enable people to easily program and construct reliable and sophisticated systems.

Scientific Staff


Fabien Salvi
System Manager
Fabien Salvi
Sylvie Jankow
Sylvie Jankow

Academic Alumni

Joining LARA and EPFL IC

Information on joining and collaborating with LARA:


LARA Research Staff, 2016


LARA Research Staff, 2012


LARA Research Staff, 2009

Some Videos

start.txt · Last modified: 2019/08/14 17:56 by vkuncak
© EPFL 2018 - Legal notice