Search:
Shaz Qadeer
Shaz Qadeer
Ph.D. candidate
Computer-Aided Design Group
University of California at Berkeley
Address:
550-C Cory Hall
Department of EECS
University of California
Berkeley
, CA 94720
Phone:
510-642-1490
Fax:
510-643-5052
Email:
shaz@eecs.berkeley.edu
Advisors:
Prof. Robert K. Brayton
and
Prof. Thomas A. Henzinger
Current Research Interests:
Formal Verification, Logic Synthesis.
Research
Online Publications
Trivia
CAD seminar home page
Shaz Qadeer