Recent Publications

More Publications

SymPaths: Symbolic Execution Meets Partial Order Reduction

DOI SIRIUS

Active Objects with Deterministic Behaviour

DOI SLAS SIRIUS

Projects

SLAS: Synchronous Languages meet Asynchronous Semantics

AURORA mobility programme between Norway and France, partially funded by the Research Council of Norway.

UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations

UpScale was an EU FP7 FET Open-X research project. The project aims at making use of the manycore computers of tomorrow as efficient as possible.

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

Contact