Work with me.

I am looking for highly motivated mathematics and computer science students at both the undergraduate and graduate levels. Most of my group's work cuts across the traditional divide between pure and applied mathematics: much of it applies abstract categorical and topological techniques to concrete problems, though I also have projects rooted firmly in pure mathematics.

I am currently recruiting students interested in any of the following:

• applied and computational topology
• homotopy theory (abstract, discrete, and more)
• formalization of mathematics
• AI & mathematics
• applied category theory
• information security

When you get in touch, please include your most recent transcript and a CV.

Email me →