
Willkommen am Institut AIFB
dem Institut für Angewandte Informatik und Formale Beschreibungsverfahren
Angewandte Technisch-Kognitive Systeme
- Prof. Dr. J. Marius Zöllner
Im Fokus der Forschung stehen Technologien der angewandten maschinellen Intelligenz. Basierend auf der Erforschung von Grundlagen sollen neue technische Systeme wie autonome Fahrzeuge, autonome Serviceroboter, oder Assistenzsysteme mit kognitiven Fähigkeiten realisiert werden. Die Anwendun... mehr
Betriebliche Informationssysteme
- Andreas Oberweis, Wolffried Stucky
Die Forschungsgruppe Betriebliche Informationssysteme befasst sich mit Fragestellungen an der Schnittstelle zwischen Softwaretechnik und Business Process Engineering. Dabei werden in verschiedenen Forschungsschwerpunkten Querschnittsthemen wie Digitalisierung, Datenschutz und Nachhaltigkei... mehr
Cooperative Autonomous Systems
- Prof. Dr. Alexey Vinel
Research group "Cooperative Autonomous Systems" is performing applied research on the aspects of coordination, cooperation and communication between autonomous or highly automated vehicles, vulnerable road users and transportation infrastructure in complex environments. We are working on d... mehr
Critical Information Infrastructures
- Prof. Dr. Ali Sunyaev
Kritische Informationsinfrastrukturen (allg. kritische Infrastrukturen, engl. critical information infrastructures) sind soziotechnische Systeme, welche essentielle Softwarekomponenten und Informationssysteme umfassen und von zentraler Bedeutung für Individuen, Organisationen, Regierungen,... mehr
Information Service Engineering
- Prof. Dr. Harald Sack
Die Forschungsgruppe Information Service Engineering ist eine gemeinsame Initiative von FIZ Karlsruhe - Leibniz-Institut für Informationsinfrastruktur und dem Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Karlsruher Institut für Technologie (KIT) mit einem Fokus au... mehr
Security - Usability - Society
- Prof. Dr. Melanie Volkamer
Die Forschungsgruppe SECUSO gehört zum Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) des Karlsruher Instituts für Technologie (KIT). Die Gruppe wurde 2011 von Prof. Dr. Melanie Volkamer an der Technischen Universität Darmstadt gegründet und ist Anfang 2018 un... mehr
Systems, Data, Simulation & Energy
- Prof. Dr. Sanja Lazarova-Molnar
The research group Systems, Data, Simulation & Energy (SYDSEN) is concerned with the advancement of the field of Modeling and Simulation by developing new methods to utilize nowadays prevalently available data from easily accessible Internet of Things (IoT) devices. In addition, the resear... mehr
Web Science
- Dr. Michael Färber
Die Forschungsgruppe beschäftigt sich unter der Leitung von Dr. Färber mit Data Science und Web Science. Im Zentrum steht dabei die Entwicklung und Anwendung von Methoden der Künstlichen Intelligenz (KI). Hierzu zählt die semantische Wissensrepräsentation durch Wissensgr... mehr