ACM Fellows
USA - 2013
citation
For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information.
citation
For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information.