Fakulteta za matematiko in fiziko
Jadranska 21, SI-1000 Ljubljana
tel: +386 1 4766 698

Anja Petković

Anja Petković

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.

Research interests

Homotopy type theory, type theory, logic, topology.


Conference and workshop participation