Robert C. Haraway, III

I am a postdoctoral fellow at the Mathematics Department of Oklahoma State University, working on computational 3-manifold topology.

I am interested in academic positions beginning after May 2020, and tenured positions beginning after May 2018. Here is a rough CV.

My email address is

My office phone number is 405.744.4952.

My office address is

        Robert Haraway
506 Mathematical Sciences
Oklahoma State University
Stillwater, OK 74078-1058


Here is my most recent preprint: Tessellating the moduli space of convex projective structures on the once-punctured torus

The code associated with this and other papers is available on my GitHub repository, where you can also find my newer software projects.

I have been working with Dave Gabai, Rob Meyerhoff, Nate Thurston, and Andrew Yarmola on enumerating small-area hyperbolic knot complements, resolving an old conjecture of C. McA. Gordon on exceptional Dehn fillings of such 3-manifolds.

I have also been working with Neil Hoffman, Matthias Goerner, and Maria Trnkova on an effective procedure to tell whether or not one hyperbolic 3-manifold is a Dehn filling of another. Whether the procedure terminates is predicated on the termination of the canonicalization procedure of Jeff Weeks.

I have also been working with Craig Hodgson and Rob Meyerhoff on extending Mom theory to 3-manifolds with totally geodesic boundary.

I have also been working with Neil Hoffman and William Pettersson on getting good certificates disproving hyperbolicity of link exteriors.

I have also been working with Stephan Tillmann on the connectivity of components of Cooper and Long's decomposition of Fock and Goncharov's A-moduli space for SL3R. I have also been working with him on quicker ways to enumerate closed normal surfaces in knot exteriors.


I have always loved explaining math to anyone within earshot. Instead of discussing math, I tend to proclaim it loudly, a habit that is a nuisance in quiet dining establishments but effective in a classroom.

Other Endeavors

I was an active member of the laity here.

I like to play the guitar.

Like the world of a science-fiction story, a system of beliefs need not be highly credible---it may be as wild as you like, so long as it is not self-contradictory---and it should lead to some interesting difficulties, some of which should, in the end, be resolved.

Carl E. Linderholm, Mathematics made difficult