AIFB
Aus Aifbportal
Seit 1971 macht das Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) des Karlsruher Instituts für Technologie (KIT), was sein Name sagt: Angewandte Informatik. Sie bereitet elementare Erkenntnisse der Informatikforschung so auf, dass innovative Lösungen für Produkte, Dienste und Dienstleistungen daraus entstehen können.
Ein ausführliches Porträt finden Sie hier:
Aktuelle Einblicke in unsere Arbeit finden Sie auf den folgenden Seiten:
Einen Überblick über die am Institut arbeitenden Personen, die Forschungsgruppen am AIFB und allgemeine Kontaktinformationen finden Sie auf diesen Seiten: