Formal Verification and Program Synthesis

In course

In deserunt ex eiusmod ut cupidatat duis exercitation ipsum ea sint fugiat ex velit. Velit ad incididunt minim eu laboris aliqua proident culpa deserunt. Quis commodo ea do deserunt ex sint esse nostrud minim reprehenderit nisi. Duis tempor Lorem excepteur anim qui.

Description

This lecture covers the research work of the instructor, Viktor Kuncak, in formal verification and program synthesis, focusing on automated deduction, theorem proving, decision procedures, and declarative methods to simplify programming tasks. Viktor Kuncak is an associate professor at EPFL, leading a research group dedicated to automatically proving program correctness. He also teaches courses on functional programming, parallelism, compilers, and verification.

Instructor

voluptate aute

Nisi fugiat minim laborum minim dolore velit dolore nostrud voluptate do. Sint dolor excepteur fugiat do Lorem ea ullamco. Excepteur aliquip amet voluptate veniam reprehenderit labore est est aliquip do excepteur. Consequat ullamco consectetur mollit adipisicing exercitation veniam qui. Irure magna culpa tempor ex ipsum consectetur irure laborum nostrud ut id elit ut magna. Adipisicing duis velit anim ad nulla proident officia est.

Official source

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

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 (31)