Karem Sakallah

Karem Sakallah is a Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, College of Engineering. His research focuses on formal verification, SAT solvers, and distributed protocols, with a strong emphasis on symmetry breaking and scalable verification techniques. He mentors Ph.D. students by fostering curiosity, collaborative problem-solving, and clear technical communication.

• Research highlights: Quantified symmetric minimization, SAT-based verification of distributed systems, symmetry detection in graphs, and automated inductive invariant inference.
• Teaching philosophy: Encourages students to view research as an adventure, prioritizes teaching them to identify gaps in literature, write effectively, and present solutions elegantly.
• Conference attendance: Supports participation in top-tier venues like FMCAD, SAT, CAV, and VMCAI, covering associated costs through research funding.