b-it Research School
Algorithm Design and Formal Foundations of Applied IT
This research area is concerned with fundamental problems, methodologies and paradigms occurring in most of the other research areas of the B-IT Research School. The focus of this area will be on the following topics and various interactions between them:
- Design and analysis of efficient algorithms, with the central objective of surmounting the barriers of intractability that are present in handling massive data or data distributed networks.
- Development of adequate formal models of complex systems in order to support automated design and analysis, where “complexity” refers to different dimensions (not only system size, but – also, for example – its structural aspects like parallelism and the necessity to integrate different types of data).
- Marek Karpinski, Algorithms and Distributed Systems
- Joost-Pieter Katoen, Software Modeling and Verification
- Wolfgang Thomas, Logic and Theory of Discrete Systems
- Berthold Vöcking, Algorithms and Complexity
Bold letters indicate the professors currently in charge of this research area.