Hannah Fechtner

I'm a PhD student at Carnegie Mellon University in the Logic, Computation, and Methodology program, advised by Jeremy Avigad.

I'm working on all sorts of things to do with braids, including

• formalizing a solution to the braid word problem in Lean
• tracking down the history of the algebraization of braids
• making interactive outreach tools to share the mathematics of (un)tangling

You can find a copy of my MS thesis, Braids in Lean, here, and a talk I gave about formalizing braids in lean here