KIT-Zentrum Information ˑ Systeme ˑ Technologien

Am KIT gibt es weltweit führende Gruppen, die diesen Designprozess als eine eigenständige Ingenieursdisziplin/Ingenieurswissenschaft ansehen, die besonders die Integration von theoretischer Forschung und Applikation/Anwendung in praktischen Systemen betont/hervorhebt. Erfolgsgeschichten sind die Revolutionierung der Routenplanung in Verkehrsnetzwerken, das Codesign von Hardware und Software für rekordbrechende Kommunikationsgeschwindigkeit und Verfahrenstecchniken/Grundsatzwerkzeuge für Softwareanalyse (JOANA, Palladio) und Verifizierung (KeY). Auszeichnung für Forschungsthemen sind unter anderem der Gottfried Wilhelm Leibniz-Preis, der Landesforschungspreis, Mitgliedschaft in der Gesellschaft für Informatik e. V sowie Association for Computing Machinery (ACM) und im deutschen Wissenschaftsrat.

Wichtigstens Projekte:

  • Helmholtz Programm Supercomputing and Big Data
  • Google Focussed Research Award: Next Generation Route Planning
  • SFB/TR 89 - Invasive Computing (InvasIC)
  • SPP 1736 - Algorithm for Big Data 
  • SPP 1593 -  Design For Future - Managed Software Evolution
  • SPP 1496 - Reliably Secure Software System

At KIT there are world-leading groups viewing this design process as an engineering discipline that particularly emphasizes the integration of theoretical research and application in practical systems. Success stories include revolutionizing route planning in transportation networks, hardware software codesign for record breaking communication speed  and principled tools for software analysis (JOANA, Palladio) and verification (KeY). Awards for topic researchers include the DFG Leibniz award, the Landesforschungspreis, Fellows of GI and ACM, and membership in the German Wissenschaftsrat.

Major Projects:

  • Helmholtz Programm Supercomputing and Big Data
  • Google Focussed Research Award: Next Generation Route Planning
  • SFB/TR 89 - Invasive Computing (InvasIC)
  • SPP 1736 - Algorithm for Big Data 
  • SPP 1593 -  Design For Future - Managed Software Evolution
  • SPP 1496 - Reliably Secure Software Systems