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

Viktor Kuncak
Viktor Kuncak
Andreas Pavlogiannis
Andreas Pavlogiannis
Jad Hamza
Jad Hamza
Georg S. Schmid
Georg S. Schmid
Romain Edelmann
Romain Edelmann
Nicolas Voirol
Nicolas Voirol

Mikael Mayer

Ravichandhran Kandhadai Madhavan
Emmanouil Koukoutos
Manos Koukoutos
Marco Antognini
Marco Antognini

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

Support

Fabien Salvi
System Manager
Fabien Salvi
Yvette Gallay
Secretary
Sylvie Jankow

Academic Alumni


Regis Blanc
Etienne Kneuss
Etienne Kneuss
Andrew J. Reynolds
Andrew J. Reynolds
Eva Darulova
Eva Darulova
Tihomir Gvero
Tihomir Gvero
Ivan Kuraj
Ivan Kuraj
Giuliano Losa
Giuliano Losa
Hossein Hojjat
Hossein Hojjat
Philippe Suter
Philippe Suter

Filip Konecny
Pierre-Emmanuel Cornilleau
Pierre-Emmanuel Cornilleau
Andrej Spielmann
Andrej Spielmann
Ruzica Piskac
Ruzica Piskac
(Patrick Denantes Dissertation Award)
Swen Jacobs
Swen Jacobs
Ali Sinan Köksal
Ali Sinan Köksal

Joining LARA and EPFL IC

Information on joining and collaborating with LARA:


2016

LARA Research Staff, 2016

2012

LARA Research Staff, 2012

2009

LARA Research Staff, 2009