Campus Event Calendar

Event Entry

What and Who

Automating Construction of Provably Correct Software

Prof. Viktor Kuncak
EPFL, Switzerland
SWS Distinguished Lecture Series

Viktor Kuncak is Associate Professor in the School of
Computer and Communication Sciences of the Swiss Federal
Institute of Technology, Lausanne.  His research goal is to
increase software development productivity and software
reliability through new algorithms and tools for synthesis,
analysis, and automated reasoning. In 2012 he received an
ERC grant to develop the concept of Implicit Programming,
whose aim to make programming easier and more accessible.
He also received a SIGSOFT distinguished paper award and his
work was also published as a Communications of ACM Research
Highlight.  He has been a program chair of the conferences
Verification, Model Checking and Abstract Interpretation
(2012), as well as Formal Methods in Computer-Aided Design
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI  
AG Audience

Date, Time and Location

Thursday, 27 February 2014
60 Minutes
E1 5


I will present techniques my research group has been
developing to transform reusable software specifications,
suitable for users and designers, into executable
implementations, suitable for efficient execution. I outline
deductive synthesis techniques that transform input/output
behavior descriptions (such as postconditions, invariants,
and examples) into conventional functions form inputs to
outputs. We have applied these techniques to complex
functional data structures, out of core database algorithms,
as well as numerical computations.


Vera Laubscher
--email hidden

Video Broadcast

passcode not visible
logged in users only

Vera Laubscher, 02/21/2014 08:59
Vera Laubscher, 02/20/2014 10:32 -- Created document.