Karem A. Sakallah

{{Short description|American electrical engineer and computer scientist}}

Karem Sakallah is an American electrical engineer and computer scientist, a professor at University of Michigan known for his work on computational logic, functional verification, SAT solvers, satisfiability modulo theories, and the Graph automorphism problem. He was elevated to the rank of IEEE Fellow in 1998.

In 2009, he shared the CAV (Computer Aided Verification) award with eight other individuals "for major advances in creating high-performance Boolean satisfiability solvers." In 2012, Sakallah became an ACM Fellow "for algorithms for Boolean Satisfiability that advanced the state-of-the-art of hardware verification."

In 2014, Sakallah help shape the development of the Qatar Computing Research Institute (QCRI) in Doha and supervised the growth of the Cyber Security Research Area.{{cite web|url=https://cse.engin.umich.edu/stories/karem-sakallah-continues-commitment-to-qatar-computing-research-institute|title=Karem Sakallah Continues Commitment to Qatar Computing Research Institute|publisher=Computer Science and Engineering School, University of Michigan|date=3 February 2014|access-date=3 December 2015}}

References

{{cite web | url=https://web.eecs.umich.edu/~karem/|title=Professor Karem Sakllah|access-date=July 30, 2023|publisher = University of Michigan Department of EECS}}

{{cite web|url=https://awards.acm.org/award-recipients/sakallah_3682317|publisher=ACM|title=Award recipients: Karem Sakallah|access-date=July 30, 2023}}

List of fellows of the Association for Computing Machinery

{{cite web|url=https://www.ieee.org/membership/fellows/fellows-directory.html|publisher=IEEE|title=Fellows directory|access-date=July 30, 2023}}

{{cite web|url=https://www.microsoft.com/en-us/research/video/faster-symmetry-discovery-using-sparsity-of-symmetries/|publisher=Microsoft Corp|title=Talk by Karem Sakallah: Faster Symmetry Discovery using Sparsity of Symmetries|access-date=July 30, 2023|date=February 27, 2009}}

{{cite web|url=https://simons.berkeley.edu/people/karem-sakallah|publisher=Simons Inst for the Theory of Computing|title=Visiting Researcher: Karen Sakallah|access-date=July 30, 2023}}

{{cite web|url=http://i-cav.org/cav-award/|title = CAV award | publisher = International Conference on Computer-Aided Verification | access-date = July 30, 2023}}

Category:Living people

Category:American electrical engineers

Category:American computer scientists

Category:Fellows of the IEEE

Category:2012 fellows of the Association for Computing Machinery

Category:University of Michigan faculty

Category:Carnegie Mellon University alumni

Category:Year of birth missing (living people)

Category:Place of birth missing (living people)