Areas of Expertise

Symbolic computation, computer algebra, quantifier elimination.

Research Groups

• Symbolic Computation

Education

PhD, , Ohio State University (1990)

Honors and Awards

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