Formal Verification and Program Synthesis

In course

Enim proident nisi ipsum Lorem cupidatat nostrud minim sit aliquip officia. Ad qui fugiat tempor occaecat ipsum nulla ex mollit ad. Ea pariatur ex aute ea fugiat dolore ad magna.

Description

This lecture, presented by the instructor Viktor Kuncak, focuses on formal verification and program synthesis, covering topics such as automated deduction, theorem proving, and declarative methods to simplify programming. The instructor, an associate professor at EPFL, shares insights from his research group's work in automatically proving program correctness and making programming tasks easier through synthesis. Additionally, he discusses his teaching activities at EPFL, including courses on functional programming, parallelism, concurrency, and formal verification.

Instructor

elit ad

Do labore labore tempor pariatur irure minim consequat tempor. Id magna nulla officia aute quis ex est laborum duis mollit nulla ullamco enim. Lorem ad proident nostrud velit ullamco. Eiusmod enim do amet culpa eiusmod nulla ex voluptate elit quis exercitation.

Official source

https://mediaspace.epfl.ch/media/0_eafzmnq3

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (32)