Jure Taslak

Sem doktorski študent matematike na Fakulteti za matematiko in fiziko, Univerza v Ljubljani, pod mentorstvom prof. dr. Andreja Bauerja.

V okviru svojega doktorata se ukvarjam s temo domenskih teorij tipov za končno matematiko.

Kontakt