Research  

Key research areas

The DEIS research group targets the overall challenges:

• Mathematical and logical theory for modelling and specifying concurrent processes, including quantitative and security aspects
• Tools, algorithms and datastructures for model checking, performance analysis and synthesis for complex systems
• Model-based methodologies for embedded and cyber-physical
  systems
• Analysis and construction of services and protocols for networks
• Inference and learning of probabilistic graphical models
• Machine learning using statistical as well as logic and relational-based methods
• Applications in a variety of domains, including transport, energy, water-management, and health

Education  

Study related activities 

The DEIS staff teaches 15-20 courses including mathematical foundations, distributed and embedded systems, machine learning and several MSc specialization courses.

DEIS staff also organizes several PhD courses, e.g. on model-checking and machine learning.

Collaboration 

Who benefits from the research 

Our research benefits companies and organizations that work with safety critical software systems where requirements on monitorability, predictability, security as well as safe and intelligent decision making are crucial. The several academic and industrial users of our worldclass tools, e.g. UPPAAL and TAPAAL, benefit.

Example partners 

INRIA Rennes, TU Wien, TU Eindhoven, Strathclyde University, Oxford University, Northeastern University, Trento University, NTNU, Grundfos, City of Aalborg, Aarhus Vand, Huawei, Nilfisk, Neocortec, ATS, Ambolt, Neogrid, Hardi, Seluxit, GOMSpace.

Key projects