Teaching

HASLab together with the Department of Informatics provide a wider academic training offer, namely in the following areas:

Master's Degrees 2016 | 2017

        Choose your Master's degree from the available HASLab research areas:

    • MFES - Formal Methods in Software Engineering | See our video
    • EA - Applications Engineering | See our video
    • SDC - Distributed Systems and Cryptography | See our video

Doctoral Programmes 2016 | 2017