Hopp til hovedinnhold
Universitetet i Bergen
Meny
Utdanning
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
English
Norsk
Lukk
Søkefelt
Filtrer på innhold
Alt innhold
Nyheter
Studier
Arrangementer
Personer
Ansattsider
Choose what results to return
Utdanning
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
Programutviklingsteori
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
UiB
NT
II
Programutviklingsteori
Kontakt
Ansatte ved Programutviklingsteori
Fornavn
Etternavn
Kompetansefelt
Håkon Robbestad Gylterud
Førsteamanuensis
II
hakon.gylterud@uib.no
Funksjonell programmering
Kategoriteori
Logikk
Programmeringsspråk
Programvaresikkerhet
Programvareutvikling
Typeteori
