Shaz Qadeer

Ph.D. candidate
Computer-Aided Design Group
University of California at Berkeley

550-C Cory Hall
Department of EECS
University of California
Berkeley, CA 94720
Phone: 510-642-1490
Fax: 510-643-5052

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