MSc information

MSc opportunities

Opportunities to take a MSc related to the area of Model4IoT are broad. The participants have varied topics to choose from and can be contacted through their respective homepages.

In particular, the following brief listing of their areas of expertise can be a starting guideline for making an initial choice.

  • Christian Johansen :
    • concurrent and distributed systems
    • located computation in IoT
    • automated reasoning
    • logical verification
  • Olaf Owe :
    • high-level modelling and programming of IoT systems
    • robustness and security
    • static and run-time verification
    • language paradigms for IoT systems
  • Josef Noll :
    • handling the complexity of advanced ecosystems
    • context-aware modeling of information access
    • semantic attribute-based access control
    • semantic modelling of security and privacy
    • measurable security
    Tags: internet of things, Models4IoT, master topics
    Published Sep. 11, 2015 9:21 AM - Last modified Sep. 11, 2015 9:26 AM