This is an old revision of the document!
Helping construct software that does what we expect
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. See, for example, the Stainless project. |
Scientific Staff
![]() Viktor Kunčak |
![]() Georg S. Schmid |
![]() Mario Bucev |
![]() 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.
Support
![]() System Manager Fabien Salvi |
![]() Secretary Sylvie Buchard |
Academic Alumni
Joining LARA and EPFL IC
Information on joining and collaborating with LARA:
- PhD Positions and information about EPFL
- Slides from a Seminar for Starting PhD Students (September 2009, somewhat context-specific)
2016
2012
2009
Some Videos
- Scala Days 2017 Keynote: Tools for Verified Scala by Viktor Kuncak
—