About Me

Heya! I am currently a doctoral candidate at the University of Virginia!
My research interests at the moment are
– Homotopy Type Theory and
– Proof Verification

I am also very interested in alternative teaching strategies for Mathematics and in modernizing the classroom to adapt to new technology!

Hobbies

Besides work I like
– Walking Outdoors
– Baking
– Reading (anything Agatha Christie!)
– Learning German (sehr langsam…)