Roberto Passerone received the Laurea degree summa cum laude in Electrical Engineering from the Politecnico di Torino, Italy, in 1994, and the Master's and PhD degrees in Electrical Engineering and Computer Sciences from the University of California, Berkeley, in 1997 and 2004, respectively. From 1998 to 2005, he was with Cadence Design Systems, Berkeley, California, where he held various positions from Senior Member of Technical Staff in the System Level Design product group, to Research Scientist in the Cadence Berkeley Laboratories. Since 2006 he is Assistant Professor with the Department of Information Engineering and Computer Science at the University of Trento, Trento, Italy.

His research interests include the design and implementation of high performance microprocessor, system level design, communication design and formal methods. In particular, his research has focused on the development of methods for the automatic synthesis of protocol converters and transactors, and for the analysis of the semantic foundations of heterogeneous systems. He was co-organizers of several events, including ETFA and SIES, for which he served as program chair and general chair.


Ivan Minakov

PhD Students

Thi Thieu Hoa Le
Luca Rizzon

Past PhD students

Andrey Somov
Alena Simalatsar