I am a PhD student in mathematics at Faculty of mathematics and physics,
University of Ljubljana.
My mentor is Andrej Bauer. I am mostly interested in type theory, homotopy type theory, logic and topology.
Previously I have worked with Alex Simpson on my master thesis (source code) on computing fixed points of monotone piecewise linear functions. We are currently working on improving this algorithm even further.
Type Theory, Homotopy Type Theory, Logic, Topology.