TODO: Use this site to find project supervisors for your masters projects.
Formal Methods
Research Interests
Algorithms
Complex Systems
Formal Methods
Model Based Design
Modelling & Simulation
Concurrent Systems, Petri Nets
A simulation tool for different classes of Petri nets; A system to support teaching of algorithm design; A tool for the verification of computer networks; Animating algorithms for 2-dimensional bin packing;
Technologies & Programming Languages
I am comfortable supervising projects that make use of the following technologies and programming languages.
C
C++
Java
JavaScript