People
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.
Post-doc
Ivan Minakov
PhD Students
Thi Thieu Hoa Le
Luca Rizzon
Past PhD students
Andrey Somov
Alena Simalatsar