Electrical Engineering and Computer Science

Karem A. Sakallah

Professor, Electrical Engineering and Computer Science
Website: http://www.eecs.umich.edu/~karem
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.