LARA

Helping construct software that does what we expect

(Click here for simpler version of this page on GitHub)

LARA is a research group led by Viktor Kunčak. We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques is to help the construction of verified computer systems. See, for example, the Stainless project.

Scientific Staff

Support

Fabien Salvi
System Manager
Fabien Salvi
Sylvie Buchard
Secretary
Sylvie Buchard

Academic Alumni

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

Some Videos