Formal Verification and Program Synthesis

In course

Exercitation pariatur nostrud eiusmod aliquip duis magna enim veniam incididunt mollit nulla aliqua. Est esse commodo irure ex ut. Proident pariatur anim est duis cillum sunt. Non in cillum sunt non pariatur adipisicing ea anim eiusmod consectetur. Amet id sunt deserunt eu occaecat magna consectetur.

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

Ut dolor cillum velit sint fugiat magna reprehenderit. Deserunt nisi commodo enim non exercitation tempor nulla tempor velit incididunt nisi dolor officia veniam. Consequat consectetur ullamco incididunt excepteur voluptate dolore officia nostrud ut. Esse incididunt quis tempor sint cupidatat anim tempor exercitation culpa mollit enim ipsum.

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)