Na Univerzi v Ljubljani podelili Prešernove nagrade za študentke in študente
Date of publication: 12. 12. 2025
General news
Na Univerzi v Ljubljani so v okviru Tedna Univerze podelili Prešernove nagrade za študentke in študente UL. Prešernove nagrade podeljujejo za izjemne dosežke študentk in študentov na področju znanosti in umetnosti. Med prejemniki naše fakultete je Ivan Kobe za delo z naslovom Teorija tipov za sintetične kategorije.
Ivan Kobe je na UL leta 2019 diplomiral iz filozofije in germanistike ter leta 2023 iz matematike. V nagrajenem magistrskem delu »Teorija tipov za sintetične kategorije« je obravnaval ∞-kategorije, matematične strukture, opremljene s hierarhijo prepletajočih se višjedimenzionalnih povezav. Podal je novo definicijo takih struktur, dokazal, da imajo želene lastnosti, razvil nov simbolni formalizem za njihov opis ter ga uporabil za računalniško formalizacijo in preverjanje pravilnosti svojih izsledkov.
Več o ostalih prejemnicah in prejemnikih si lahko preberete tukaj.
Čestitamo!
Avtor fotografij: Nebojša Tejić, STA
