This semester I'm teaching
ISSAC 2010 Submission Example Data: Virtual Term Subst Examples, CAD Construction Examples
My primary research interest is in Computer Algebra, although I also have an interest in Computer Science Education and intelligent tutoring systems. (Please see my research page for more information.)
There are several programs that I've written or been involved with writing:
QepcadB - a program for quantifier elimination and formula simplification using cylindrical algebraic decomposition.
webCal - a program for planning courses and generating course calendars.
RegeXeX - a program that administers regular expression writing exercises.