TODO: Use this site to find project supervisors for your masters projects.
Modelling & Simulation
Concurrent Systems and Concurrent Programming
Typical projects: Algorithms visualisation, Data structures visualisation, Tools to support teaching of algorithms, Tools to support teaching of concurrent programming, Visualisation of the behaviour of a Petri net, Verification of some chosen properties of Petri nets, Animations of the solutions to the well-known synchronisation problems (Producer/Consumer problem, Readers/Writers problem, Dining Philosophers problem).
Technologies & Programming Languages
I am comfortable supervising projects that make use of the following technologies and programming languages.