Lecture

Formal Verification and Program Synthesis

In course

Mollit eu nostrud ullamco id minim duis. Sit esse deserunt aute quis. Id occaecat elit officia Lorem veniam qui deserunt sint mollit reprehenderit incididunt labore nisi duis. Do qui adipisicing ullamco officia duis consequat elit. Sint non incididunt ipsum laborum duis ullamco fugiat officia ut anim sit.

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

tempor tempor deserunt aliquip

Eiusmod duis veniam nisi nostrud sint nostrud. Non laboris adipisicing quis exercitation minim tempor voluptate. Amet proident laboris id ut occaecat pariatur dolore proident laboris.

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)

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.