Fakulteta za matematiko in fiziko
Jadranska 21, SI-1000 Ljubljana
tel: +386 1 4766 698
anja.petkovic@fmf.uni-lj.si
Bitbucket
GitHub
Anja

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 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.

Research interests

Type Theory, Homotopy Type Theory, Logic, Topology.

Talks

Education

Conference and workshop participation

Other projects