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 homotopy type theory, 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.
Homotopy type theory, type theory, logic, topology.