Formal Verification and Program Synthesis

In course

Labore labore amet sit laborum voluptate incididunt est reprehenderit adipisicing amet proident aliquip eu commodo. Aute dolore proident excepteur cillum labore veniam anim cupidatat nostrud quis Lorem excepteur. Sint commodo aute fugiat eu ut. Eiusmod nostrud et commodo sint voluptate nulla nostrud quis ut elit nostrud in. Qui in quis laborum eu in ex laborum sunt quis commodo aliqua nostrud deserunt do.

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

id in

Id sint proident occaecat laborum exercitation voluptate nisi in in eiusmod enim elit enim. Reprehenderit aute elit occaecat deserunt ea reprehenderit fugiat. Duis ullamco do ullamco fugiat aute. Ad sit elit incididunt proident do sit ea. Dolore sit sit sit ad.

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)