Karem Sakallah

Karem Sakallah

Professor, EECS - Computer Science and Engineering

Professor (courtesy), EECS – Electrical and Computer Engineering

Email: Phone: (734) 936-1350Office: 4603 Beyster Bldg.WebsiteResearch Interests: Computer-aided design of electronic systems, Boolean satisfiability, discrete optimization, and hardware and software verification.