... Curriculum Vitae

Stefano Quer received a M.S. degree in Electronic Engineering from Politecnico di Torino and a Ph.D. degree from the Ministry of University and Scientific and Technological Research in Rome.


In 1994-1995 he has been with the Department of Electronic Engineering and Computer Science of the University of California in Berkeley.

In 1998 he has been with the "Advanced Technology Group'', at Synopsys Inc., Mountain View, California.

In 1999 he has been with the "Alpha Development Group'', at Compaq Computer Corporation, Shrewsbury, Massachussetts, USA.

In 2000 he has been a Compaq Computer Corporation consultant.


He was Assistant Professor with the “Automatica ed Informatica'” Department of Politecnico di Torino, Torino, Italy and he is now Associate Professor with the same institution.


From 1992 he has been assistant to computer engineering courses, in charge of computer engineering course, seminars, and mentor for distance-teaching courses in computer engineering.


His research interests include systems and tools for CAD for VLSI, simulation and testing of digital systems, hardware description languages, reachability analysis of finite state machines, representation and manipulation of Bolean functions with BDDs, formal verification of correctness of digital designs.

He took part to several Italian and European projects.

He co-authored papers in refereed journals, in international refereed conferences, and in international conferences without referees.

He served as a reviewer for international conferences and different international journals.

Back to Stefano Quer's Home Page