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. |
Viktor Kunčak |
Mario Bucev |
Sankalp Gambhir |
Dragana Milovancevic |
Simon Guilloud |
Rodrigo Raya |
See also the official list of past and current PhD students and automatically generated administrative page of the group.
System Manager Fabien Salvi |
Secretary Sylvie Buchard |
Information on joining and collaborating with LARA:
—