Synthesizing from Components: Building from Blocks

March 25, 2011
Ashish Tiwari | SRI

The goal of component-based synthesis is to build a system from components. The nature of this generic problem changes as we concretize what is a component and what constitutes a composition.

In this talk, we will focus on two different incarnations of component-based synthesis, and we will present approaches for solving them. The first instantiation concerns synthesizing the logic for switching between modes of a multi-mode dynamical system so as to achieve some safety and liveness guarantees. The second concerns synthesizing loop-free programs by composing elements from some given library functions.

Speaker Details

Ashish Tiwari is a Senior Computer Scientist in SRI’s Computer Science Laboratory. He received his B.Tech and Ph.D. degrees in Computer Science from the Indian Institute of Technology, Kanpur and the State University of New York at Stony Brook in 1995 and 2000, respectively. His research interests are in formal verification, continuous and hybrid systems, automated deduction, static analysis, and symbolic decision procedures.