MSc Projects

This webpage holds a list of available, in progress and completed Master projects at FMT. If you are interested in carrying out a MSc assignment at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.


    Algorithms and Data Structures

    Correct and efficient algorithms and datastructures for concurrency and model checking.

    Case studies and Applications

    Application of formal methods to practical examples.

    Dependability, security and performance

    Analysis of dependability, security and quantitative aspects.


    Graph and graph transformation related research.


    Formal languages for specification, modelling and programming.

    Logics and semantics

    Program logics, Semantics, Temporal and Modal logics.

    Software Technology

    Test coverage, Software Desgin patterns, Software Modeling, Software Architecture.


    Formal testing techniques.


    (overflow of earlier categorization - to be re-categorized).

    In Progress