Institution. University of Ljubljana

link · uni-lj.si · ROR

People

Andrej Bauer andrejbauerProfessor of computational mathematics · University of Ljubljana
PhD advisorDana Scott
PhD studentsPhilipp G. Haselwarter
PhDCarnegie Mellon University
andrej.com · 0000-0001-5378-0547 · https://github.com/andrejbauer · @andrejbauer@mathstodon.xyz

Egbert Rijke egbertrijkePostdoc · University of Ljubljana
PhDCarnegie Mellon University
0000-0002-5272-6175 · HoTT-Intro

Matija Pretnar matijapretnarAssistant professor · University of Ljubljana
matija.pretnar.info · 0000-0001-7755-2303 · matijapretnar

PhD alumni

Philipp G. Haselwarter philippghaselwarterAssistant Professor · Aarhus University
PhD advisorAndrej Bauer
PhDUniversity of Ljubljana
haselwarter.org/~philipp · 0000-0003-0198-7751 · https://github.com/haselwarter

Formerly here

Danel Ahman danelahmanAssociate Professor · University of Tartu
PhDUniversity of Edinburgh
danel.ahman.ee · 0000-0001-6595-2756 · danelahman

Philipp G. Haselwarter philippghaselwarterAssistant Professor · Aarhus University
PhD advisorAndrej Bauer
PhDUniversity of Ljubljana
haselwarter.org/~philipp · 0000-0003-0198-7751 · https://github.com/haselwarter
university-of-ljubljana institution entries/institutions/university-of-ljubljana.hel