-
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.