Fellow
United States – 2014
CITATION

For contributions to efficient and capable SAT solvers, and accurate embedded software models.