Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.

Doktorska dela (2)

1. Philipp Georg Haselwarter: Effective metatheory for type theory
2. Anja Petković Komel: Meta-analysis of type theories with an application to the design of formal proofs

Magistrska dela (7)

1. Marko Koležnik: Grafični uporabniški vmesnik za Agdo
2. Miha Emerik Habič: Preddoločanje in kontinuumska funkcija
3. Gašper Ažman: Pregled metod obrambe proti Sibilam
4. Aljaž Osojnik: Modeliranje dinamičnih sistemov z rudarjenjem podatkovnih tokov
5. Tomaž Stepišnik Perdih: Razdalje na strukturiranih podatkih
6. Jure Kukovec: Generalizing treshold automata for reachability in parameterized systems
7. Jure Taslak: Algebrajska in regularna kategorna logika

Diplomska dela (30)

1. Nejc Trdin: Odločitveni model za podporo upravljanja vodnih virov
2. Timotej Lazar: Programiranje z algebrajskimi učinki
3. Kristjan Kostelec: Denotacijska semantika PCF
4. Katarina Zadražnik: Algoritmi za risanje fraktalov IFS
5. Anja Zupančič: Odločitvena drevesa
6. Tina Janša: Spletna aplikacija za linearno programiranje
7. Andrej Maršič: Uporaba genetskih algoritmov in metod Monte Carlo za iskanje optimalne strategije samozadrževanja v bonus-malus sistemih
8. Aleš Bizjak: Lambda račun in izračunljive funkcije
9. Miha Emerik Habič: Adjungirani funktorji
10. Jaka Kranjc: Infinitezimalna analiza
11. Gašper Ažman: $\pi$-račun
12. Jakob Vidmar: $\lambda$-račun in kartezične zaprte kategorije
13. Svetlana Nikić: Konična drevesa
14. Darja Skrt: Risanje realističnih slik z metodo sledenja žarku
15. Jan Berčič: Konstruktibilne množice in neprotislovnost aksioma izbire
16. Tomaž Stepišnik Perdih: Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu
17. Jure Bevc: $3 \times 3 \times 3$ v vrsto
18. Sara Krk: 2048
19. Jure Slak: Induktivni in koinduktivni podatkovni tipi
20. Mitja Rozman: Monade v funkcijskem programiranju
21. Ana Borovac: Funkcijsko reagentno programiranje
22. Nika Krušec: Konstrukcija modela nestandardne analize
23. Tine Makovecki: Na videz nemogoči funkcionali
24. Ana Golob: Prestrezniki in algebrajski učinki na primerih iz finančne matematike
25. Martin Molan: Avtomatsko prepoznavanje vedenjskih vzorcev
26. Lana Herman: Gödlov izrek o nepopolnosti
27. Petra Ivana Reberc: Eksponenti topoloških prostorov
28. Tadej Slivnik: Königova lema in Kleenejevo drevo
29. Neža Korenjak: Curry-Howardova korespondenca
30. Gašper Golob: Preverjanje ravninskosti grafov v Lean

Druga dela (2)

1. Lara Pirjevec: Osnove modalne logike
2. Philipp Georg Haselwarter, Andrej Bauer: Finitary type theories with and without contexts