|
Nathan Carter is an Assistant Professor at Bentley University,
where he has been since earning his Ph.D. in mathematics from Indiana University
in 2004. While at Indiana University he also earned a masters in computer
science, and most of his research focuses on where mathematics and
computer science intersect, often putting computers to work in service of
mathematics.
His software Group
Explorer for visualizing group theory laid the groundwork for the book
Visual Group Theory,
to be published in 2009 by the MAA.
He is a 2007 recipient of Bentley's Innovation in Teaching Award, for the
game Metal and Money, which presents
the users puzzles whose solutions are isomorphic to proofs in propositional
logic.
His current project is
Lurch, software for teaching
mathematical proofs, supported by a grant from the
Course, Curriculum, and Laboratory Improvement program
of the National Science Foundation.
|
