Research in the Field of Computer Science
The Computer Science research in the faculty covers a broad spectrum of practical computer science aspects, encompassing logical foundations, software technology and programming languages, network technologies and their evaluation, and distributed and mobile computing systems.
One of the research groups’ common focus area lies in the description, evaluation and realization of complex distributed and networked systems. Here, researchers work on practicable modeling methods and analysis techniques, as well as the implementation of innovative methods for practically applicable tools.
Foundations of Computer Science – Informatics Theory Group
The research group’s fields of activity are mathematical methods for the specification, design and validation of complex software and hardware systems, particularly physically distributed and concurrently operating applications. Among the central issues addressed are synchronization mechanisms, the transition between synchrony and asynchrony, abstraction and refinement, compositionality problems, and the semantics of model-driven design languages.
Communication Services, Telecommunications Systems and Computer Networks
Research and development of the Communication Networks Group is devoted to traffic and network management of current computer networks and wired and mobile IP networks of the next generation. Research topics include the evaluation of resource management processes in wireless local IP networks; the development of QoS/QoE management architectures for IP communication networks; teletraffic theory and performance evaluation of distributed systems; the measurement, statistical analysis and characterization of Internet traffic; and the estimation of associated generic stochastic models.
Practical Computer Science - Distributed Systems Group
Research at the chair deals with the area of software development for complex, especially distributed, systems on all levels of abstraction. This ranges from design methods, visual languages and tools for the development and analysis of distributed systems to the use of modern middleware and service-oriented systems for the implementation of business processes to modern cloud computing approaches.
Current work focuses on the migration of classic software architectures to cloud-based systems, analysis and test tools for programs in serverless cloud computing environments, orchestration techniques for edge computing applications in the IoT context, as well as monitoring and performance analysis of such systems.
Software Engineering and Programming Languages
The Software Technologies Research Group focusses on mathematical techniques for the specification, modelling and analysis of complex and frequently embedded and concurrent software systems. The focus lies on modern methods and tools for requirements engineering, model-driven software development and software verification.
Current and recent research topics:
- Interface theories and heterogeneous specification languages for concurrent systems
- Model-driven development of embedded software using synchronous languages
- Heap analysis and verification for C programs and object code
- LET (Logical Execution Time) semantics for real-time software on multi-core processors
The main research focus of the group is data management at the border between the physical and the digital world: how can information coming from the real world be suitably detected, modeled, and efficiently provided to mobile, distributed and context-aware applications, thus enabling intelligent environments?
This is reflected in particular in the following topics:
• Management of data streams and event processing
• Development of sensor-based applications
• Quality aspects in multi-sensor applications