Driving innovation in software and systems engineering
We develop reliable, scalable solutions and processes meeting the growing complexity and increasing computing demands of ever-evolving technological landscapes.
About
The following professors and their teams contribute to this research area.
-
Thomas Engel
- Applications of Graph Transformation Techniques
- Computer Networks
- Network and System Security
- Network Forensics
- Platforms for Big Data Analysis and Machine Learning
- Security, Reliability and Privacy in Distributed Environments
-
Steffen Rothkugel
- Document Engineering
- Interactive Distributed Systems
- Mobile and Ubiquitous Computing
-
Ulrich Sorger
- Coding Theory
- Information Theory
- Transmission over Time Variant Channels
- Information Exchange.
-
Nicolas Guelfi
• Dependability
• Formal Methods
• Requirements Engineering
• Software Engineering -
Pierre Kelsen
• Domain-Specific Modelling Languages
• Formal Methods
• Model-Driven Software Development -
Yves Le Traon
• Automated implementation of security mechanisms
• Malware detection and prevention
• Model-Driven Security
• Big Data at Runtime
• Modelling at Runtime -
Nicolas Navet
• Integration of Verification Activity into Model-Driven Engineering
• Probabilistic Risk Analysis
• Timing Verification of Real-time Systems -
Denis Zampunieris
• e-Learning
• Proactive Computing
• Proactive Engines
Research groups
-
Collaborative and Socio-Technical Systems (COaST)
-
Critical Real-Time Embedded Systems (CRTES)
-
Foundation of Model-Driven Engineering (FMDE)
-
Proactive Computing
-
Security and Networking Lab (SECAN-Lab)
-
Software Engineering and Artificial Intelligence Group on Ecosystem management (SAGE)
-
Mediated Reality, Human-Computer Interaction (VR/AR LAB)
-
Quantum Algorithms and Technologies of Emulation in High Performance Computing
