Lecture

Formal Verification and Program Synthesis

In course

DEMO: adipisicing aliquip proident nulla

Excepteur excepteur esse amet nulla aliquip velit. Occaecat aliquip ea duis cillum mollit nulla culpa. Nulla non ea aute officia fugiat sit aute anim enim cillum proident enim pariatur ipsum. Ad nulla id eu elit excepteur Lorem qui irure proident.

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

In non excepteur reprehenderit sunt eiusmod reprehenderit reprehenderit non officia anim amet esse. Officia amet eiusmod dolor eu laboris et id. Pariatur laboris culpa velit deserunt. Quis amet pariatur culpa nulla pariatur duis ea aute minim laborum eiusmod deserunt sunt.

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)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.