Visiting Assistant Professor
Department of Mathematics and Computer Science
Rhodes College
Memphis, Tennessee

Office: Briggs 207

My email is superdockm at

About me.

I'm a visiting assistant professor in the Department of Mathematics and Computer Science at Rhodes College, in Memphis, Tennessee. I do research in topological combinatorics, as well as programming languages. I obtained my Ph.D. in Algorithms, Combinatorics, and Optimization, from Carnegie Mellon University in August 2021, advised by Florian Frick.


Here are some research questions and topics I'm currently thinking about, in two areas:

Topological combinatorics.

Programming languages.

If you're a Rhodes student, and you'd like to talk about research, please reach out!


Vertex numbers of simplicial complexes with free abelian fundamental group (pdf)
with Florian Frick.

Simplicial complexes from finite projective planes and colored configurations (pdf)
Discrete Mathematics 346(1):113117 (2023)

A nonlinear Lazarev-Lieb theorem: \(L^{2}\)-orthogonality via motion planning (doi, pdf)
Journal of Topology and Analysis 14, No. 3, 569-585 (2022)
with Florian Frick.

Clean tangled clutters, simplices, and projective geometries (pdf)
Journal of Combinatorial Theory, Series B 154 (2022)
with Ahmad Abdi, Gérard Cornuéjols.

A new infinite class of ideal minimally non-packing clutters (html, pdf)
Discrete Mathematics 344(7):112413 (2021)
with Ahmad Abdi, Gérard Cornuéjols.


Topics in topological combinatorics:
Simplicial complexes, finite geometries, and the topology of circle-valued maps.
(pdf, slides)
Advisor: Florian Frick


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 (link)

November 21, 2021
Simplicial complexes, finite projective planes, and colored configurations.
AMS Special Session on Topological Methods in Discrete Mathematics

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.


The links below are Github repositories:

agda-unused - Check for unused code in an Agda project (Haskell).

vim-agda - Asynchronous type-checking for Agda 2.6.2 (Vimscript).

vim-foldout - Outline-based folding with syntax highlighting (Vimscript).