Nathaniel Miller

Nathaniel Miller is a Professor and M.A. Program Coordinator in the Department of Mathematical Sciences at the University of Northern Colorado (UNC), within the College of Natural and Health Sciences. He holds a Ph.D. in Mathematics (Cornell University, 2001), an M.S. in Computer Science (Cornell University, 1999), and a B.A. in Mathematics (Princeton University, 1994). His research focuses on integrating geometric diagrams into formal proofs and advancing inquiry-based mathematics education.

Professional Experience:

• 2012–present: Professor at UNC
• 2007–2012: Associate Professor at UNC
• 2001–2007: Assistant Professor at UNC
• 1994–2001: Graduate Student/Teaching Assistant at Cornell University

Research emphasizes two core areas:

1. Reasoning with Geometric Diagrams: Challenges traditional formal proofs by advocating for rigorous diagrammatic systems (e.g., his book Euclid and His Twentieth Century Rivals and the CDEG software).
2. Inquiry-Based Mathematics Teaching: Develops pedagogical methods for secondary and college-level education, including action research projects and mentoring programs for instructors.

Publications reflect contributions to automated theorem proving, geometry education, and interdisciplinary writing-proof integration. His work has been featured in journals like Notre Dame Journal of Formal Logic and PRIMUS, and he co-authored materials for the Journal of Inquiry-Based Learning in Mathematics.

Labs/Projects: He leads development of CDEG (Computerized Diagrammatic Euclidean Geometry), a software tool for exploring diagrammatic proofs in Euclidean geometry, available for Mac and Windows.