Past Awards
2010
INFORMS Computing Society Prize:
First Place
Winning material:
"Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility", "Expressing Combinatorial Optimization Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz"