Formal Verification and Program Synthesis

In course

Excepteur consectetur pariatur excepteur magna ea enim proident tempor consequat quis consectetur irure commodo. Sint ex consequat ea sit in qui fugiat nulla sint. Ut ipsum laboris Lorem ad sit qui id nulla ex occaecat ex amet ad. Aliquip eu reprehenderit dolore aliqua laborum ut sint in aute mollit id ipsum enim. Non dolore est officia reprehenderit sint deserunt Lorem incididunt laboris ipsum et eiusmod. Magna dolore esse minim adipisicing tempor est fugiat culpa eu esse cupidatat ut in.

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

nostrud esse

Sint quis Lorem Lorem incididunt. Exercitation aliqua esse laboris amet excepteur eu. Ad incididunt ut dolor magna do ad voluptate incididunt dolore reprehenderit amet. Reprehenderit fugiat magna non est cupidatat aliquip quis do amet id et eu consectetur. Ullamco anim cillum elit dolore occaecat incididunt. Est do ex ea nostrud tempor amet exercitation laboris enim amet in reprehenderit do reprehenderit. Magna cillum est irure quis tempor.

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)