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, languages and apply these techniques to construction of verified computer systems. See, for example,
the Stainless project.
Our goal is to enable people to easily program and construct reliable and sophisticated systems.
