Fellow
United States – 2009
CITATION

For contributions to symbolic and algebraic computation, algebraic algorithms and complexity theory.