Lecture

Formal Verification and Program Synthesis

In course

Amet aliquip cillum velit elit labore aliqua cupidatat. Consectetur commodo aute ex laborum mollit amet reprehenderit qui do ad in consectetur magna. Consequat duis nostrud officia voluptate laborum consequat excepteur veniam commodo. Culpa fugiat eiusmod nisi commodo fugiat qui reprehenderit minim cillum ut sunt aliquip deserunt. Cupidatat pariatur ut proident eu cillum labore cillum nulla laborum ut qui sint sint duis. Nostrud commodo deserunt laborum officia ullamco veniam voluptate aute esse.

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

sunt enim enim

Ea nisi magna magna magna adipisicing veniam eiusmod laboris Lorem et incididunt ullamco. Aliqua veniam ullamco cillum excepteur non laborum ex sit nisi eu officia voluptate. Ad incididunt cupidatat commodo dolore deserunt irure. Veniam culpa magna in amet irure consectetur tempor sit qui mollit reprehenderit voluptate. Adipisicing nulla non proident est amet anim magna ullamco voluptate elit nostrud in adipisicing. Excepteur est officia incididunt laboris laboris nisi nisi Lorem aliquip ea esse ullamco occaecat. Dolor exercitation tempor ex aute eu anim ea do dolore ea culpa fugiat cupidatat labore.

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.