990 Lincoln Place
Boulder, CO 80302
(970) 302-6315 (cell)
I am currently living in Boulder, Colorado, and teaching
at the University of Northern Colorado. My research is in
geometry, logic, and formal reasoning with diagrams;
you can find some of the papers that I've written here.
Occasionally I think back on the halcyon days of my youth, spent at Cornell
University , at Princeton
University, and in Newtown,
CT. If none of this seems sufficiently interesting to you, you
could try looking
Ph.D. in Mathematics, Cornell University, May 2001
M.S. in Computer Science, Cornell University, August 1999
A.B. in Mathematics, Princeton University, June 1994
Current Research Activities:
Reasoning with Geometric Diagrams - It has long been assumed in
mathematical communities that diagrams can be properly used only as aids
to human intuition which have no place in formal proofs, reducing diagrams
to second-class citizens of the mathematical world. My research aims
to show that diagrams can be used rigorously and fruitfully in formal mathematics,
and, indeed, that the formal proofs that one gets using diagrams are more
understandable and correspond better to normal informal proofs (of
the kind that one finds in Euclid's Elements, for example) than
traditional linguistic formal proofs. You can find some of my work here.
- The Teaching and Learning of Mathematics using Inquiry-Based Methods - Most of my teaching is done using inquiry-based methods, and I have had several publications and presentations in this area. You can find some of them here.
(Pictures: climbing Longs Peak, July 2007; playing the cello, Jan.
2000; and sitting in my garden, Summer 1997.)
Last updated: 9/18/14