Assistant Professor
Department of Computer Science
Rhodes College
Memphis, TN
Email: superdockm@rhodes.edu
Office: Briggs 207
CV · Google Scholar · arXiv · ORCID · GitHub
I'm an assistant professor in the Department of Computer Science at Rhodes College, in Memphis, Tennessee. My research is in applied topology & combinatorics; some themes are simplicial complexes, finite geometries, and applications & extensions of the Borsuk-Ulam theorem. I obtained my Ph.D. in Algorithms, Combinatorics, and Optimization from Carnegie Mellon University in August 2021, advised by Florian Frick.
I'm also interested in interactive theorem proving, and by extension, dependently typed programming languages. I particularly enjoy working with Agda & Lean. In spring 2025, I designed and taught an undergraduate course, "Programs & Proofs with Dependent Types," using Agda. I've also advised Rhodes students on research projects related to interactive theorem proving and formal verification of software.
If you're a Rhodes student and you'd like to talk about research, please reach out!
Quantifying discontinuity. (arXiv)
Submitted.
with Henry Adams, Florian Frick, Michael Harrison, Nikola Sadovek.
Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes. (arXiv)
Accepted, Algebraic & Geometric Topology.
with Henry Adams, Johnathan Bush, Nate Clause, Florian Frick, Mario Gómez, Michael Harrison, R. Amzi Jeffs, Evgeniya Lagoda, Sunhyuk Lim, Facundo Mémoli, Michael Moy, Nikola Sadovek, Daniel Vargas, Qingsong Wang, Ling Zhou.
Vertex numbers of simplicial complexes with free abelian fundamental group. (arXiv, doi)
Ars Mathematica Contemporanea 25(1):1.05 (2025)
with Florian Frick.
Simplicial complexes from finite projective planes and colored configurations. (arXiv, doi)
Discrete Mathematics 346(1):113117 (2023)
A nonlinear Lazarev-Lieb theorem: $L^2$-orthogonality via motion planning. (arXiv, doi)
Journal of Topology and Analysis 14(3):569-585 (2022)
with Florian Frick.
Clean tangled clutters, simplices, and projective geometries. (arXiv, doi)
Journal of Combinatorial Theory, Series B 154:60-92 (2022)
with Ahmad Abdi, Gérard Cornuéjols.
A new infinite class of ideal minimally non-packing clutters. (pdf, doi)
Discrete Mathematics 344(7):112413 (2021)
with Ahmad Abdi, Gérard Cornuéjols.
March 6, 2025
A discontinuous ham sandwich theorem.
Spring Topology & Dynamics Conference (Newport News, VA)
April 15, 2023
Quantifying discontinuity.
AMS Special Session, Topological & Geometric Methods in Combinatorics (Cincinnati, OH)
November 18, 2022
Small simplicial complexes with fundamental group $\mathbb{Z}^n$.
University of Memphis Combinatorics Seminar
April 28, 2022
Simplicial complexes and fundamental groups.
Rhodes College Math Seminar
March 29, 2022
Small simplicial complexes with fundamental group $\mathbb{Z}^n$.
Iowa State University Discrete Math Seminar
November 21, 2021
Simplicial complexes, finite projective planes, and colored configurations.
AMS Special Session on Topological Methods in Discrete Mathematics (remote)
October 22, 2020
The necklace splitting problem and robot motion planning.
Algorithms, Combinatorics, and Optimization Seminar, Carnegie Mellon University
Rhodes College.
Carnegie Mellon University.
Charles E. Jordan High School.