Unit

Laboratory for Automated Reasoning and Analysis

Laboratory

Summary

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.

Official source

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Laboratory for Automated Reasoning and Analysis

Chat with Graph Search

Orthologic with Axioms

Automated Formal Verification of Software Network Functions

Degrees of Separation: A Flexible Type System for Safe Concurrency