Bonn-Aachen International Center for Information Technology


News	Application for Master Programs	B-IT Universities Institute
About B-IT	B-IT Research School	B-IT Applied Science Institute

Research Area 8: 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).

Bold letters indicate the professors currently in charge of this research area.

NEWS

Best Contribution Award for B-IT Student
[more]

Best Student Paper Award for B-IT Research School Student
[more]

B-IT Professor participates with "Silhouettes" at the EXPO 2010 Shanghai
Silhouettes: An Interactive Collaborative Gesture-Based Experience for the EXPO 2010 Shanghai [more]

Symposium in honour of Professor von zur Gathen 60th Birthday - "Professor von zur Gathen: A Modern Computer Algebraist"
International Symposium to celebrate Professor von zur Gathen's 60th Birthday [more]

B-IT Life Science Informatics Lecture Series 2010
[more]