Teaching

Lecturer

  • INF214: Concurrent Programming
  • INF122: Functional Programming
  • INF4140: Models of Concurrency
  • Computer Literacy

Teaching Assistant

  • INF2220: Algorithms and data structures

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

Contact