Teaching

Courses

Click on the course title to get to the page describing the course.

2019: Concurrent Programming at the University of Southern Denmark.
2018: Concurrency Theory at the University of Southern Denmark.
2018: Concurrent Programming at the University of Southern Denmark.
2018: Introduction to Computer Science (part on Models of Computation, Languages, and Recursion) at the University of Southern Denmark.
2017: Concurrency Theory at the University of Southern Denmark.
2017: Concurrent Programming at the University of Southern Denmark.
2017: Introduction to Computer Science (part on Models of Computation, Languages, and Recursion) at the University of Southern Denmark.
2016: Concurrent Programming at the University of Southern Denmark.
2016: Microservice Programming at the University of Southern Denmark.
2016: Introduction to Computer Science (part on Models of Computation, Languages, and Recursion) at the University of Southern Denmark.
2014: Integrated and Mobile Distributed Systems at the University of Southern Denmark. Course homepage
2013: Advanced Mobile and Distributed Systems Seminar at the IT University of Copenhagen.
2012: Advanced Mobile and Distributed Systems Seminar at the IT University of Copenhagen.
2011: Advanced Mobile and Distributed Systems Seminar at the IT University of Copenhagen.
Taught topics: the Jolie programming language, service-oriented computing, fault and compensation handling in distributed systems, presentation techniques, practical applications of Jolie and other languages (among which Orc, WS-BPEL, ...), dynamic adaptation in mobile and distributed systems.
2011: Programming Language Seminar (SPLG) at the IT University of Copenhagen.
Taught topics: service-oriented computing and the Jolie programming language.

Thesis projects

I am particularly interested in programming languages, models, and tools for distributed systems and cloud computing. Here is a (nonexhaustive) website reporting projects that I am interested in following.