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
Programming Theory
Research
Research activities
Conferences and workshops
Projects
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Publications
Publications
Contact us
Contact us
Members
Research
Research activities
Conferences and workshops
Projects
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Publications
Publications
Contact us
Contact us
Members
UiB
MATNAT
II
Programming Theory
Contact us
Staff at Programming Theory
First name
Last name
Fields of competence
Håkon Robbestad Gylterud
Associate Professor
II
hakon.gylterud@uib.no
Category Theory
Functional programming
Logic
Programming Languages
Software Engineering
Software Security
Type Theory
