Bonn-Aachen International Center for Information Technology

  News Application for Master Programmes B-IT Universities Institute
  About B-IT B-IT Research School B-IT Applied Science Institute
  Welcome!
Directors
About B-IT
Lecture Series, Talks and Events
B-IT Annual Report
B-IT Research School
 Research Area Overview
 Research School Events
 For B-IT Research School Students
 Research Area 1: Media Informatics and Advanced Human-Computer Interaction
 Research Area 2: Communication Systems Engineering
 Research Area 3: Software and Information Engineering
 Research Area 4: Life Science Informatics
 Research Area 5: Computer Graphics
 Research Area 6: IT Security
 Research Area 7: Data Mining, Pattern Recognition and Machine Learning
 Research Area 8: Algorithm Design and Formal Foundations of Applied IT
B-IT Universities Institute
News
Groups
Teaching
IT Services
Master Programme of Life Science Informatics
Master Programme of Media Informatics
Application for Master Programmes
International Program of Excellence (IPEC)
B-IT Applied Science Institute
Master Programme of Autonomous Systems
 
How to get to B-IT
City and student life
Contact
Impressum
Sitemap
Index

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
    Media Computing Group Acquires Funding For Interactive Surface Research
    [more]
    Professor Kaisa Nyberg for talk at B-IT
    Professor Kaisa Nyberg, Aalto University Finnland, will deliver a talk on 20 January 2012 at 12.00 noon in B-IT lecture hall. [more]
    B-IT Media Informatics Students Receives Internship at NII Tokyo
    [more]
    "Young Scientist Award" 2011 to Steffen Kirchhoff
    [more]
    Best Poster Award to B-IT Alumna
    [more]