Tiziano Villa

Tiziano Villa is Honorary Professor at the Department of Computer Science of the University of Verona. He received a Laurea degree in Mathematics from the University of Milan, completed Part III of the Mathematical Tripos at the University of Cambridge, and later earned an MSc in Computer Science and a PhD in Electrical Engineering and Computer Sciences from the University of California, Berkeley. Before joining Verona, he worked at PARADES in Rome and at the University of Udine. The University of Verona conferred on him the title of Honorary Professor in 2024.

His research spans formal methods for system design and electronic design automation. Major themes include logic synthesis and optimisation, formal verification, automata and models of computation, discrete-event dynamic systems, supervisory control, embedded systems and cyber-physical systems. This combination of logic, control and modelling has led to work on both the mathematical foundations of synthesis and verification and their use in engineering workflows for discrete and hybrid systems.

Tiziano received the Tong Leong Lim Predoctoral Prize at UC Berkeley in 1991. He co-authored the books Synthesis of FSMs: Functional Optimization, Synthesis of FSMs: Logic Optimization and The Unknown Component Problem: Theory and Applications, and co-edited Coordination Control of Distributed Systems. His historical work at Verona included the ForME research line; because ForME is not one of the current CISD groups, this profile preserves his collaboration with CISD without assigning him to a present-day group by inference.