Skip to main content
Lab directory

Prof. Karem A. Sakallah — Research Profile

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026

Graduate application deadlines

Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Karem A. Sakallah at University of Michigan Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science) lists Computer-aided design of electronic systems, Boolean satisfiability, discrete optimization, hardware and software verification as their registered research area.

Research keywords

Computer-aided design of electronic systemsBoolean satisfiabilitydiscrete optimizationhardware and software verification

Other labs in this department

See all labs in this department