S
Sakallah, Karem A.
Professor, EECS – Computer Science and EngineeringProfessor (courtesy), EECS – Electrical and Computer Engineering
Research Interests
And Hardware and Software Verification
Boolean Satisfiability
Computer-Aided Design of Electronic Systems
Discrete Optimization