Teaching
This semester I'm teaching
Research
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.)
Software
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.