Nathaniel Miller

Associate Professor and Graduate Program Coordinator
School of Mathematical Sciences
2210D Ross Hall
University of Northern Colorado
Greeley , CO 80631
nathaniel.miller@unco.edu
970-351-2297

Home Addresses:

Greeley:
  1751 Glen Meadows Dr.
  Greeley, CO 80631              
  (970) 302-6315 (cell)

Boulder:
  464 Morrison Alley
  Boulder, CO 80302
  (303) 449-9393

I am currently living in Boulder, Colorado, and teaching at the University of Northern Colorado. I am teaching math 341, Modern Geometry I, math 342, Modern Geometry II, and cg 120, Introduction to Python Programming. 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 here.

Education:

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.

Fun Stuff:

Cello - For the last several years, prior to moving to Colorado, I was the principal cellist with the Cornell Symphony, and played with many random chamber ensembles and other groups. I've also gotten into making multi-track recordings of myself.
Swing Dancing - I seem to spend a fair amount of my free time dancing the Lindy Hop, which is the original swing dance form that originated in the Harlem Renaissance of the 1930s. Before moving to Colorado, I taught dance classes with Naomi Nakada at the Community School of Music and the Arts in Ithaca.
Gardening - makes me happy. You should try it!