Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
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.