This site is still under construction!
Hello, my name is Felix Pernegger. I am a first year master student in mathematics at the University of Bonn.
My main interest is formalisation in mathematics, about which I wrote my bachelor thesis and for which I am currently employed as a student research assistant.
I am also broadly interested in topology, in particular I like to contribute to the pi-base.