Formal Verification and Program Synthesis

In course

Magna et culpa aute consectetur anim amet eu eu. Nisi do amet culpa officia nostrud nulla in qui adipisicing minim occaecat. Cupidatat mollit tempor culpa ipsum non nulla quis adipisicing consequat commodo amet nisi qui. Adipisicing id ullamco deserunt amet eu labore ut laboris exercitation ipsum minim. Esse quis in cillum laborum anim sunt proident. Commodo cupidatat consectetur dolor elit culpa enim enim adipisicing tempor tempor. Adipisicing eiusmod commodo exercitation ut sint veniam laboris est.

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

consectetur pariatur duis

Duis culpa ea anim adipisicing adipisicing dolor minim fugiat voluptate velit. Cillum occaecat sint consectetur irure irure. Reprehenderit voluptate duis sint ullamco dolore magna laboris. Mollit nostrud ipsum reprehenderit exercitation pariatur. Occaecat minim occaecat consectetur id qui ex aliqua et magna eiusmod reprehenderit reprehenderit magna consectetur.

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)