Teaching

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

Master's Degrees

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
  • SD - Distributed Systems | See our video
  • CS -Cryptography and Security | See our video

Doctoral Programmes