Professor
Department of Computer Science
University of Verona, Verona, Italy

 

Webpage

Component-based Synthesis by Solving Language Equations

Thursday, 10 December 2015 at 9:40 in room BC 420

 

Abstract:

An important step in the design of many complex systems, ranging from sequential digital circuits to discrete controllers, is their decomposition into several interacting components, of which some are given (known) and some need to be synthesized (unknown).

In this talk we review the existing formalisms, algorithmic solutions and design automation tools to specify and synthesize unknown components in compositional finite-state systems.

About the speaker:

Tiziano Villa received a B.A. in Mathematics from the State University of Milano (Italy) and took the Mathematical Tripos Part III at the University of Cambdrige (UK). In 1995 he received a Ph.D. in Electrical Engineering and Computer Sciences from the University of California, Berkeley (USA). From 1980 to 1985 he was a computer-aided design specialist at the Integrated Circuits Division of CSELT Laboratories (Torino, Italy), and from 1986 to 1996 he was a research assistant at the Electronics Research Laboratory, University of California, Berkeley (USA). From 1997 to 2002 he worked as a research scientist at the PARADES Laboratories (Roma, Italy).

In November 2002 he joined the University of Udine (Italy) as an associate professor at DIEGM (Department of Electrical, Industrial and Mechanical Engineering). Since October 2006 he is a professor with the Department of Computer Science (DI, Dipartimento d'Informatica), University of Verona (Italy).

His research interests are in computer-aided design of electronic systems, with emphasis on logic synthesis and Boolean methods, on formal methods for the analysis and synthesis of cyberphysical systems, on automata theory and models of computation, on discrete event systems and supervisory control. He served in the technical program committees of various conferences, including ICCAD, DATE, DAC, ASPDAC, HSCC (Hybrid Systems: Control and Computation), IWLS (International Workshop on Logic and Synthesis), GandALF (International Symposium on Games, Automata, Logics and Formal Verification).

He co-authored many papers in journals and refereed conferences, and the books "Synthesis of FSMs: Functional Optimization" (Kluwer/Springer, 1997, reprint 2010), "Synthesis of FSMs: Logic Optimization" (Kluwer/Springer, 1997, reprint 2012), and "The Unknown Component Problem: Theory and Applications" (Springer, 2012).

Tiziano Villa was awarded the Tong Leong Lim Pre-doctoral Prize at the EECS Department, University of California, Berkeley, in May 1991.