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). 
share this page on: