Teaching

Western Norway University of Applied Sciences

  • DAT103: Computers and Operating Systems
  • DAT151: Database and Unix System Administration
  • DAT190: Bachelor Thesis - Computing

University of Bergen

  • INF214: Concurrent Programming
  • INF122: Functional Programming

Universiyt of Oslo

  • INF4140: Models of Concurrency
  • INF2220: Algorithms and data structures

University of Macau

  • ECSS021: Computer Literacy

Recent Publications

More Publications

Time Analysis of Actor Programs

DOI Project

Parallel Cost Analysis

DOI Project

Deployment by Construction for Multicore Architectures

DOI Project Project

Projects

INTROMAT

INTROducing Mental health through Adaptive Technology

COEMS

Continuous Observation of Embedded Multicore Systems

SIRIUS

Centre for Scalable Data Access in the Oil and Gas Domain

ARVI

Runtime Verification beyond Monitoring

UpScale

Making efficient use of the parallel computers of tomorrow possible

Envisage

Engineering Virtualized Services

GoRETech

Go Runtime Enforcement Techniques

RvABS

Runtime Verification for ABS Product Lines

Contact