Fellow
United States – 2012
CITATION

For algorithms for Boolean Satisfiability that advanced the state-of-the-art of hardware verification.