Stage-oe-small.jpg

AIFB

Aus Aifbportal
Wechseln zu:Navigation, Suche

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: