Laboratory for Automated Reasoning and Analysis

The Automatic Analysis and Reasoning Laboratory (LARA) at EPFL, led by Viktor Kuncak, focuses on developing precise automated reasoning techniques, tools, algorithms, and languages to aid in constructing verified computer systems. LARA's research group works on projects like Stainless for program verification and Leon for program synthesis. They aim to make software construction easier through implicit programming, which leverages synthesis procedures and new development tools. LARA collaborates with various research groups and has developed a range of software tools for program verification and synthesis.