Division: CSE & ECE
Address: 4603 Beyster Bldg.
Phone: (734) 936-1350
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.
Karem A. Sakallah