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
  Welcome!
Directors
About B-IT
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
Life Science Informatics
Media Informatics
Application for Master Programs
International Program of Excellence (IPEC)
B-IT Applied Science Institute
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
    Second B-IT Economic Forum - 2. B-IT Wirtschaftsforum
    B-IT organizes the 2nd Second B-IT Economic Forum - 2. B-IT Wirtschaftsforum on March 10, 2010 [more]
    Federal Commissioner for Data Protection and Freedom of Information, Peter Schaar, Gives a Talk at B-IT on January 21, 2010
    B-IT Lecture Series on Privacy - B-IT Ringvorlesung Datenschutz [more]
    iPhone Application Programming
    [more]
    Schüler-Krypto 2010
    B-IT offers Special Courses in Cryptography for Schools [more]
    B-IT Media Computing Group opens Germany's first Fab Lab
    [more]