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.

Available

    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.

    Graphs

    Graph and graph transformation related research.

    Languages

    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.

    Testing

    Formal testing techniques.

    Other

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


    In Progress


    Completed