Fellow
United States – 2013
CITATION

For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information.