Številke

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

Magistrska dela (3)

1. Gašper Žajdela: Operacijska semantika za jezik s časovno omejenimi viri
2. Vid Drobnič: Uporaba Rustovih tipov za varno krmiljenje naprav
3. Nejc Zajc: Analiza internih klicev pametnih pogodb

Diplomska dela (4)

1. Luna Strah: Kvantni algebrajski učinki
2. Tjaž Eržen: Paralelizacija grafovskih algoritmov v funkcijskih programskih jezikih
3. DAVID GOLJAT: Praktičnost sintaksne analize s kombinatorji
4. Krištof Ocvirk: Prevajanje funkcijskega programskega jezika v WebAssembly