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 and Mobile Systems Group
The group’s research is concerned with the software development for distributed and mobile systems. This ranges from low-level issues of efficient service selection by way of load balancing, to communications systems for peer-to-peer networks, adaptation and integration of conventional middleware systems, and on to topics of service description, distributed multi-agent systems and complex system software architecture.
Our current research activities in the field of software development for distributed and mobile systems are focused particularly on service-oriented architectures (SOA), web services and middleware integration, tools and languages for designing, evaluating and implementing robust distributed and mobile systems, visual design and programming languages, and the visualization of complex software 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
Mobile Software Systeme
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