I study formalization, implementation, and semantics of programming languages. My current research is focused on algebraic effects and their handlers.
Zaposlen sem na Fakulteti za matematiko in fiziko, kjer poučujem večinoma računalniške predmete.
Da bi olajšal sestavljanje izpitnih pol, sem pripravil LaTeXovski paket, ki veliko večino dela postori sam. Vse, kar morate podati, so podatki o izpitu (ime, datum, navodila in učilnico) ter naloge.
Paket nato avtomatsko oblikuje glavo izpita, sedežni red, polja za ime, vpisno številko in točke ter podobno. Poleg tega vam omogoča, da za vsak izpit pripravite tako verzijo za reševanje na polo kot verzijo za objavo v arhivu.
Za najnovejšo in vse starejše različice paketa poglejte na GitHub.
Spodnji program za dani seznam študentov omogoča generiranje naključnih nalog ter njihovih rešitev. Program sprejme:
nato pa ustvari posamezne datoteke z nalogami in skupno datoteko z rešitvami. Naloge niso čisto naključne, saj vam program za istega študenta vedno vrne enako nalogo. To vam omogoča, da naloge naknadno popravljate, ne da bi se vam pri tem v celoti spremenile.
Za najnovejšo in vse starejše različice programa poglejte na GitHub.