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.)
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.
Tarski - a program for computing with Tarski formulas and semi-algebraic sets.
webCal - a program for planning courses and generating course calendars.
RegeXeX - a program that administers regular expression writing exercises.