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

Magistrska dela (2)

1. Žiga Putrle: Neprotislovnost klasične sintetične teorije izračunljivosti
2. Katja Albreht: Modeli hiperbolične geometrije in njihova vizualizacija

Diplomska dela (11)

1. JANA ČEŠAREK: Imaginarna kocka
2. Maša Žaucer: Formalization of the structure sheaf of a ring spectrum
3. Aljaž Medič: Implementacija razširljivega mixfix razčlenjevalnika
4. Timon Najdovski: Obrnljive funkcije so sfere v svetu
5. IVO LIST: Plavajoča vejica v čistem funkcijskem jeziku
6. Jure Taslak: Yonedova lema in njena uporaba
7. Blaž Zupančič: Izdelava in uporaba dokazovalnega pomočnika
8. Luka Sabotič: Implementacija rekurzivnih podatkovnih tipov
9. Jure Smolar: Kolimite v elementarnih toposih
10. Klemen Bogataj: Implementacija nemogočih funkcionalov z računskimi učinki
11. Gregor Kikelj: Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean