Division: CSE & ECE
Address: 4603 Beyster Bldg.
Phone: (734) 936-1350
Fax: (734) 763-4617
Degree: Ph.D. Carnegie-Mellon
Research Interests: Computer-aided design of electronic systems, Boolean satisfiability, discrete optimization, and hardware and software verification.
Research Areas: Artificial Intelligence; Computer Architecture; Computer-Aided Design and VLSI.
Areas of Specialty: Electronic Design Automation; Logic Synthesis; Design Verification and Validation; Verification, Testing and Physical Design.