NTVA Årbok 2021 – 2024 135 FS ar am aj ur lbi e2i d0e0t0meerd BC eozqeuma n pd rfoofretsssaot tre ii ni nn feonr ma uattoi mk ka tvi seedr tUrneisvoenrns ietreitnegt ii B e r g e n . coherent logic, og på Coquands cubical set-semantikk for typeteori med Voevodskys urensiuvaltleerntseakisiom. Samtidig med at gamle samarbeid fortsatte og blant annet Term Rewriting Systems (CUP, 2003), oppstod nye gjennom fdoerlstakkneinlsgesnopi pspheosldialåorget osmabbatsperioder i utlandet. Særlig relevant var Univalent Foundations of Mathematics, arrangert i 2g j0e1s 2t e/p1r3o f e svseodr a tI nfset bi truut ea r – mf oar i A2 0d 1v a6n cveedd SCtaurdnye g iie PMrei nl lcoent o nU, n i vsearms itt y e ti PDiettsbsuisrtgeh. årenes forskningsaktivitet har vært tett knyttet til den bMeor temg no idnegl sl emr eustsvi igkel e t tsoal mk nmi negne nm e da vC o quunainv da l eo ng sP a ri m ahnonmvoi tsoe pr i as tk V oteyvpoedt es ko yr is. mD eotdveilsl ,e br asseegr ta tpCå osqi mu apnl idssi aml eomd eelnl egrd, ebra, si ekrktepgåi rk eunb ibs ke reemg neinnggds emr e, sf as ki gt i tsokl kgni ri negn. sUlnikdetorslkønkienlsgeanve iudneivttaelefneslt,emt belne vbirdyetererfømret di plorovsejnekotmet det utelukkede tredje. Homotopy Type Theory and Univalent Foundations, ledet av Bezem og Dundas (Matematisk institutt, UV indi ev ne rs skiat ep tse- tA ki aBdeer mg ei n. I) , dve et tde Sper no tsej er kf toert gs ra umnanrfboer isdkent i ni ngt e( rCnAaSs)j ovneadl t Da ente Nr koj er snkt ee fvoikrstikgeereininOsiskltoergjseonmnormesualktaatd.emiåret 2018/19, med mange nye resultater og Bezem har vært prosjektleder (PI) for følgende prosjekter: • Modularity of Large Software and Information Systems (NFR 146967), • Secure Heterogeneous Information Presentation (NFR 176853), • Automating Coherent Logic (NFR 177562), og • Computational Aspects of Univalence (NFR 240810). Hreadnakhtaørrvfæorrt president i EACSL i perioden 1997–2002, og hatt en periode som Indagationes Mathematicae. Han har også vært medredaktør og m(MeAdEfo)r. fatter av flere håndbøker. Bezem er medlem av Academia Europaea Ef otrt et sra tatt theat nt tgi il kk nk yat vt e tmde edt pi ennt esrj onna sij o2n0a2l e3 , f of orrstksne itnt egrs mB iel zj øeemt , åo gf ohr sakr e e. nH aank tei vr i g n e t n e e r r e e s l s t e . for alle tema han tidligere har arbeidet med – og for vitenskap (Oversatt fra engelsk av Chat GPT.)
RkJQdWJsaXNoZXIy MjAzOTc=