Areas of Expertise

Symbolic computation, computer algebra, quantifier elimination.

Research Groups

• Symbolic Computation

Education

PhD, , Ohio State University (1990)

Honors and Awards

• Editor-in-Chief, Journal of Symbolic Computation (2000-2019)
• NC State Outstanding Teacher Award