Skip to main content
University of Bergen
Menu
Education
Research
Innovation
Library
For students
For employees
About UiB
English
Norsk
Close
Search field
Filter on content
Everything
News
Studies
Events
Persons
Employee pages
Choose what results to return
Education
Research
Innovation
Library
For students
For employees
About UiB
Home
First name
Last name
Fields of competence
Håkon Robbestad Gylterud
Associate Professor
Department of Informatics
hakon.gylterud@uib.no
Category Theory
Functional programming
Logic
Programming Languages
Software Engineering
Software Security
Type Theory
