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