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.

Education

• 2017 - : PhD student at Faculty of mathematics and physics, University of Ljubljana
• 2015 - 2017: Master of Mathematics from Faculty of mathematics and physics, University of Ljubljana, graduated with honors.
• 2012 - 2015: Bachelor of mathematics from Faculty of mathematics and physics, University of Ljubljana, graduated with honors.

Conference and workshop participation

• April 2019: UniMath spring school, Birmingham, UK
• January 2019: POPL 2019, Cascais, Portugal
• October 2018: EUTypes2018 meeting, Aarhus, Denmark
• September 2018: Autumn school "Proof and Computation", Fischbachau, Germany
• August 2018: Dagstuhl seminar "Formalization of Mathematics in Type Theory", Dagstuhl, Germany
• July 2018: EuroScience Open Forum 2018, Toulouse, France
• June 2018: Toposes in Como, summer school, Como, Italy
• May 2018: Types, Sets and Constructions - Workshop: Types, Homotopy Type theory, and Verification, Bonn, Germany
• May 2018: Non-commutative structures 2018, Pororož, Slovenia
• December 2017: UniMath winter school, Birmingham, UK
• July 2017: EUTypes summer school, Ohrid, Macedonia
• June 2017: MFPS & CALCO 2017, Ljubljana, Slovenia