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.

Preprints

• An extensible equality checking algorithm for dependent type theories: Andrej Bauer, Anja Petković.

Publications

• Equality Checking for General Type Theories in Andromeda 2: Andrej Bauer, Philipp G. Haselwarter, Anja Petković.

Talks

• 2021-07: HoTT/UF 2021, online, upcoming.
• 2020-07-15: ICMS 2020, online, slides, paper.
• 2020-06-18: HoTTEST conference 2020, online, slides, video.
• 2020-03-03: TYPES 2020, Torino, abstract.
• 2019-11-13: Stockholm, Logic Seminar, slides, code.

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

• July 2021: HoTT/UF 2021, Online
• April 2021: EPIT spring school, Online
• July 2020: ICMS 2020, Online
• June 2020: HoTTEST conference 2020, Online
• December 2019: Workshop on Foundations and Applications of Univalent Mathematics, Herrsching, Germany
• September 2019: Women in Mathematics on Mediterranean Shores, Bled, Slovenia
• August 2019: Homotopy Type Theory 2019 Summer school and conference, Pittsburgh, Pennsylvania, USA
• June 2019: TYPES 2019, Oslo, Norway
• 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

Other projects

• March 2020: Intervew for Metina Lista science podcasts, audio.
• November 2019: Intervew at the 100. anniversary of University of Ljubljana, val 202, audio.
• December 2018: Okrogla miza Ženske v znanosti in tehnologiji (round table Women in Science and Technology), Institute Jožef Stefan, video.
• September 2019 - June 2021: Matematične uganke v oddaji Ugriznimo znanost, RTVSLO.