Graduate and undergraduate courses taught at New Mexico State University.
Graduate Courses
Point-Free Topology (Fall 2011).
General Topology (Fall 2020 distance education, Spring 2017, Spring 2007).
Real Analysis II (Spring 2022 distance education).
Real Analysis I (Spring 2021 distance education).
Lattice Theory (Spring 2011, Spring 2007, Spring 2006).
Mathematical Structures in Logic (Spring 2020, Spring 2018).
Universal Algebra and Model Theory (Fall 2022 distance education).
Universal Algebra (Fall 2016, Fall 2012, Fall 2003).
Modern Algebra II (Spring 2003).
Modern Algebra I (Fall 2002).
Topics in Algebra (Spring 2012).
Foundations of Geometry (Spring 2002).
Axiomatic Set Theory (Spring 2016, Spring 2001).
Mathematical Logic (Fall 2015, Fall 2013, Fall 2010, Fall 2008, Fall 2006, Fall 2004).
Logic and Set Theory (Fall 2023).
Gödel’s Incompleteness Theorems (Fall 2009).
Undergraduate Courses
Vector Spaces and Matrix Algebra (Spring 2010 distance education, Spring 2009 distance education, Spring 2005, Spring 2004).
Introduction to Linear Algebra (Spring 2013, Fall 2005).
Introduction to Modern Algebra (Spring 2014, Fall 2000).
Introduction to Analysis (Spring 2022 distance education, Spring 2021 distance education).
Introduction to Proofs (Spring 2024, Fall 2021 distance education, Fall 2018, Spring 2014, Fall 2011, Spring 2011, Fall 2006, Spring 2005, Spring 2001, Fall 2000).
Discrete Mathematics for Computer Science (Fall 2009).
Discrete Mathematics (Fall 2001).
Ordinary Differential Equations (Fall 2022 distance education, Spring 2013, Spring 2010 distance education, Spring 2006).
Calculus and Analytic Geometry III (Fall 2025 two sections, Fall 2003).
Calculus and Analytic Geometry II Honors (Spring 2026, Spring 2025, Spring 2021 distance education, Spring 2020, Spring 2018, Spring 2017, Spring 2016).
Calculus and Analytic Geometry II (Spring 2025, Spring 2019 two sections, Fall 2018, Fall 2016, Fall 2013, Fall 2012, Fall 2010, Spring 2003, Fall 2002).
Calculus and Analytic Geometry I Honors (Fall 2025)
Calculus and Analytic Geometry I (Spring 2026, Fall 2025, Spring 2024, Fall 2023, Fall 2020 online, Fall 2019 two sections, Fall 2015, Spring 2012, Fall 2005).
Mathematics Appreciation (Spring 2004, Spring 2002, Fall 2001).
Course Coordination
Calculus and Analytic Geometry II: Spring 2025, Spring 2019, Fall 2018, Fall 2016, Fall 2013, Fall 2012, Spring 2003.
Calculus and Analytic Geometry I: Spring 2026, Fall 2025, Fall 2023, Fall 2020, Fall 2019, Fall 2015, Spring 2012.
I have also been involved in teaching international summer schools, as well as developed several teaching modules in logic and discrete mathematics based on original historical sources.
Summer Schools
A Non-Pointfree Approach to Pointfree Topology, BLAST 2019, May 20-24, 2019, Boulder, Colorado. Lecture 1, Lecture 2, Lecture 3.
A Semantic Hierarchy for Intuitionistic Logic, Thirteenth International Tbilisi Summer School in Logic and Language, September 25-29, 2017, Tbilisi, Georgia. Lecture 1, Lecture 2.
Frames, Topologies, and Duality Theory, TACL 2015, June 15-19, 2015, Salerno, Italy. Lecture 1, Lecture 2, Lecture 3, Lecture 4.
Lattices and Topologies, ESSLLI 2008, 11–15 August 2008, Hamburg, Germany (with Mamuka Jibladze).
Lattices and Topology, Third International Tbilisi Summer School in Logic and Language, 27–28 September 2007, Tbilisi State University (with Mamuka Jibladze).
Historical Modules
An Introduction to Elementary Set Theory (with Eachan Landreth)
An Introduction to Symbolic Logic (with Wes Fussner)
Undecidability of First-Order Logic (with Larry Moss)
More information about teaching discrete mathematics and computer science via original historical sources can be found at Learning Discrete Mathematics and Computer Science via Primary Historical Sources and Teaching Discrete Mathematics via Primary Historical Sources.