Teaching

Western Norway University of Applied Sciences

  • DAT151: Database and Unix System Administration

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

Projects

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

Recent Publications

More Publications

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

DOI

Contact