Maciej Koutny

Formal Methods

Personal page

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

Contact

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