Karem A. Sakallah
id:
karem-a-sakallah-218-4980316
title:
Karem A. Sakallah
text:
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 award with eight other individuals "for major advances in creating high-performance Boolean satisfiability solvers." In 2012, Sakallah became an ACM Fellow "for
brand slug:
wiki
category slug:
encyclopedia
description:
American electrical engineer and computer scientist
original url:
https://en.wikipedia.org/wiki/Karem_A._Sakallah
date created:
2023-07-30T20:43:32Z
date modified:
2024-09-13T07:30:22Z
main entity:
{"identifier":"Q121033261","url":"https://www.wikidata.org/entity/Q121033261"}
image:
fields total:
13
integrity:
15