- Source: Karem A. Sakallah
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.
References
Kata Kunci Pencarian:
- Karem A. Sakallah
- Conflict-driven clause learning
- Satisfiability modulo theories
- Boolean satisfiability problem
- Igor L. Markov
- GRASP (SAT solver)
- Graph automorphism
- List of fellows of the Association for Computing Machinery
- Qatar Computing Research Institute
- List of fellows of IEEE Computer Society
