Skip to the content.

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 to help construction of verified computer systems. We develop several open-source projects, notably:

For more information on software, see the organization’s GitHub.

Research and Development

Viktor Kunčak
Viktor Kunčak
Georg S. Schmid
Georg S. Schmid
Mario Bucev
Mario Bucev
Dragana Milovancevic
Dragana Milovancevic
Simon Guilloud
Simon Guilloud
Rodrigo Raya
Rodrigo Raya

Support

Fabien Salvi
System Manager
Fabien Salvi
Sylvie Buchard
Secretary
Sylvie Buchard

More information

See the EPFL page of LARA as well as the video channel for the Formal Verification course.