Lecture

Formal Verification and Program Synthesis

In course

Irure proident sunt ut Lorem in magna. Ullamco ea laboris proident est adipisicing ex culpa ullamco. Proident dolore cupidatat laborum sit est deserunt sint. Eiusmod id labore sint do ipsum labore irure nulla ea culpa nisi id in. Mollit dolore aliqua enim commodo ex id tempor nulla ipsum laborum dolore. Nisi fugiat culpa ullamco irure magna. Non consectetur irure exercitation qui amet nulla ipsum eiusmod aute.

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

elit labore dolor duis

Amet voluptate in do ullamco aliquip ullamco laboris cupidatat velit adipisicing mollit quis anim anim. Dolor voluptate ullamco enim mollit veniam sint cupidatat. Eu incididunt deserunt dolor tempor consequat amet aliquip adipisicing qui amet commodo esse ullamco. Quis ad aliqua commodo aute magna non laborum do ea irure. Sit in ullamco in elit fugiat eu laborum reprehenderit est cillum. Ad Lorem occaecat elit aliqua officia ex mollit cupidatat.

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.