Skip to main content
University of Bergen
Menu
Education
Research
Library
For students
For employees
About UiB
About UiB
Strategy
Vacant Positions
Museum
International Centre
Organisation chart
Contact
University Leadership
English
Norsk
Close
Search field
Filter on content
Everything
News
Study information
Events
Persons
Choose what results to return
Education
Research
Library
For students
For employees
About UiB
About UiB
Strategy
Vacant Positions
Museum
International Centre
Organisation chart
Contact
University Leadership
Home
First name
Last name
Fields of competence
Håkon Robbestad Gylterud
Researcher
Department of Informatics
Hakon.Gylterud@uib.no
category theory
Functional programming
Logic
Programming Languages
Software Engineering
software security
type theory
Ketil Malde
Associate Professor
Department of Informatics
Ketil.Malde@uib.no
Bioinformatics
Machine Learning
Population genetics
Functional programming
