I work as postdoctoral researcher in the ExCAPE project at University of
Illinois at Urbana-Champaign and University of California, Los Angeles. I
joined ExCAPE in August 2014.
I received my Ph.D. from RWTH Aachen University in April 2014, where I
worked with Christof Löding and Wolfgang Thomas.
My thesis is on Applications of Automata Learning in Verification and
Synthesis. During this time, I visited Prof. Madhusudan at University of
Illinois at Urbana-Champaign.
I graduated from RWTH Aachen University with a Master of Science in
Computer Science in November 2007.

AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI   Info

AG Audience

English

60 Minutes

Kaiserslautern

Synthesis, the automatic construction of objects related to hard- and
software, is one of the great challenges of computer science. Although
synthesis problems are impossible to solve in general, learning-based
approaches, in which the synthesis of an object is based on learning
from examples, have recently been used to build elegant and extremely
effective solutions for a large number of difficult problems. Such
examples include automatically fixing bugs, translating programs from
one language into another, program verification, as well as the
generation of high-level code from given specifications.

This talk gives an introduction to learning-based synthesis. First, we
develop a generic view on learning-based synthesis, called abstract
learning frameworks for synthesis, which introduces a common
terminology to compare and contrast learning-based synthesis
techniques found in the literature. Then, we present a learning-based
program verifier, which can prove the correctness of numeric programs
(nearly) automatically, and show how this technique can be modeled as
an abstract learning framework for synthesis. During the talk, we
present various examples that highlight the power of the
learning-based approach to synthesis.

Vera Schreiber

+49-631-93039600

--email hidden

Yes

Saarbrücken

E1 5

029

passcode not visible

logged in users only