Marta Koutny

Formal Methods

Personal page

Research Interests

  • Algorithms

  • Applied Mathematics

  • Formal Methods

  • 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.

  • C++

  • Java

  • JavaScript

Contact

TODO: Use this site to find project supervisors for your masters projects.