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.