Full Professor
Tiziano Villa received a Laurea degree in Mathematics from the University of Milano, Italy, took the Part III of Mathematical Tripos at the University of Cambridge, U.K., and received a M.S. in CS and then a Ph.D. in EECS in 1995 at U.C. Berkeley. In 1997 he joined as a Research Scientist the PARADES Labs, Rome, Italy. In 2002 he became an Associate Professor at Universita' di Udine, Italy. Since 2006 he is a Professor with the Department of Computer Science (DI), Universita' di Verona, Italy.
His research interests are in formal methods for electronic design automation, including logic synthesis, formal verification, automata theory, models of computation, discrete-event dynamic systems, supervisory control, cyberphysical and embedded systems, model-based engineering.
In May 1991 he was awarded the Tong Leong Lim Pre-doctoral Prize at the EECS Department of the University of California, Berkeley.
He co-authored the books "Synthesis of FSMs: Functional Optimization" (Kluwer/Springer, 1997, reprint 2010), "Synthesis of FSMs: Logic Optimization" (Kluwer/Springer, 1997, reprint 2012), "The Unknown Component Problem: Theory and Applications" (Springer, 2012), and co-edited the book "Coordination Control of Distributed Systems", Springer, 2015.
Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.