Stephano Quer

Stefano Quer received a MS in electric engineering and a Ph.D. in computer architecture from Politecnico di Torino, Italy. He currently holds a Post-Ph.D. position in the same institution. His research interests include Decision Diagrams and Symbolic Techniques in synthesis and verification.

Email address: quer@polito.it