This semester I'm teaching
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.)
ISSAC 2010 Submission Example Data: Virtual Term Subst Examples, CAD Construction Examples
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.