Hi, my name is Hannah Scholz. I am happy you’re visting my page :). This is very much a work in progress and I have no idea how to use jekyll so please excuse the mess…

I am a Master’s student in mathematics in my third semester at the University of Bonn. I am especially interested in formalization using the proof assistant Lean. In this area I have mainly worked on formalizing the classical approach to CW complexes. Parts of this work have already made their way into Leans mathematical library mathlib.

Aside from mathematics I am also interested in supporting women (more broadly FLINTA* individuals) in STEM. If you’re in Bonn check out the Tea Time with Women in Mathematics; I co-organize some of these events and am currently the coordinator of the overall organization. I also participate in mentoring school-aged girls interested in STEM. If you would like to do that, too, check out Cybermentor which is the program I am participating in.