Technology Resources

← All research

Computation plays a growing role in both my research and my teaching. These are the tools I use most.

In research

  • Python: I developed a Python implementation that computes the growth rates of quantum invariants of glued 3-manifolds for $r$ up to 20,000 in under a minute, giving numerical evidence for the volume conjecture where no theorem exists yet. I plan to release it as a documented open-source package for Reshetikhin–Turaev and Turaev–Viro invariants. See Quantum Low-Dimensional Topology.
  • LaTeX: for papers, slides (Beamer), and figures.
  • GitHub: for version control and sharing code.
  • Lean: a proof assistant I am exploring for formal, precise proof writing.

In teaching

  • LaTeX in the classroom: integrated into Introduction to Proofs to develop students’ mathematical communication.
  • Microsoft Whiteboard, D2L, Gradescope, and WeBWorK: for collaborative online group work, course organization, feedback, and homework.

Workshops and mentoring

  • Resource person, LaTeX workshop, Sri Lanka (2024).
  • RTG MSU Summer Topology Program (2023): supervised two undergraduate students’ mathematical writing and LaTeX skills as they prepared research write-ups and presentations.