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: firstname.lastname@example.org
|©2002-2018 U.C. Regents|