Karlsruher Institut für Technologie

As “The Research University in the Helmholtz Association”, KIT creates and imparts knowledge for society and the environment. The aim is to make significant contributions to global challenges in the fields of energy, mobility and information. To this end, about 10,100 employees work together on a broad disciplinary basis in the natural sciences, engineering, economics, the humanities and social sciences. KIT prepares its 23,000 students for responsible positions in society, business and science through research-oriented university studies. KIT’s innovation activities bridge the gap between knowledge and application for the benefit of society, economic prosperity, and the preservation of our natural resources. KIT is currently one of the German Universities of Excellence.

KIT is home to the oldest computer science faculty in Germany and can, therefore, look back on a long tradition of research in the various fields of computer science. The Faculty of Computer Science at KIT is unique in the Karlsruhe technology region due to its extremely broad spectrum of research and education, its proximity to large-scale research and enjoys an excellent reputation far beyond the country’s borders. Around 50 professors and over 300 employees ensure excellent supervision in education and research. Every year, this is confirmed by top positions in university rankings.

© KIT

So far, the following projects have been realised in cooperation with Karlsruher Institut für Technologie umgesetzt

FMDeploy: Foundation Models on Resource-Constrained Devices

Foundation Models on Resource-Constrained Devices (Benedikt Dietrich)

CauSim: Causal Digital Twin for Automated Root Cause Analysis in Simulation Studies of Supply Chain

Causal Digital Twin for Automated Root Cause Analysis in Simulation Studies of Supply Chain (Merlin Korth)

TRUSTCHAIN-X: Enhancing Trustworthiness of AI/ML Systems in 6G Networks through Blockchain and XAI

Enhancing Trustworthiness of AI/ML Systems in 6G Networks through Blockchain and XAI (Mohammed Bakr Sikal)

[KOM,BI]Co-citation-based machine learning to determine promising research projects

Co-citation-based machine learning to determine promising research projects (Tarek Saier)

RobustNets – Methods for evaluating and constraining uncertainty estimates for neural networks

Methods for evaluating and constraining uncertainty estimates for neural networks (Marcel Reith-Braun)

Neural Testing – Automated black-box software testing of GUI applications using AI methods

Automated black-box software testing of GUI applications using AI methods (Daniel Zimmermann)

POMAS – Pose Estimation and Mapping Using Heterogeneous Sensor Networks

Pose Estimation and Mapping Using Heterogeneous Sensor Networks (Kailai Li)

ReLUDa – Control of mechatronic processes based on reinforcement learning with few uncertain data

Control of mechatronic processes based on reinforcement learning with few uncertain data (Johannes Westermann)

Learn-HD – Machine Learning on Heterogeneous Distributed Systems

Machine Learning on Heterogeneous Distributed Systems (Martin Rapp)

CHAMP – Accelerating Blockchain Technology for Next Generation Mobile Core Network with Near-Memory Processing

Accelerating Blockchain Technology for Next Generation Mobile Core Network with Near-Memory Processing (Paul R. Genssler)

QUOCA – Quality-driven Data Integration in Semantic Data Lakes

Quality-driven data integration in Semantic Data Lakes (Lars Hering)

TraPS: Transparency and auditability of semantic information in DLT-based workflows

Transparency and auditability of semantic information in DLT-based workflows (Christoph H.-J. Braun)

SumOn – Adaptive summary of linked data entities

Adaptive Zusammenfassung von Linked-Data-Entitäten (Andreas Thalhammer)

KIRA – Artificial intelligence for the review of workflows

Artificial intelligence for the review of workflows (Patrick Philipp)

SUITE – Semi-automatische Erkennung und Wissensbasis-Integration von Neuigkeiten aus Textdokumenten

Semi-automatische Erkennung und Wissensbasis-Integration von Neuigkeiten aus Textdokumenten (Michael Färber)

AnKSeK – Anonymisierungsverfahren für die automatische Kalibrierung von Sensorsystemen mittels kooperativer Verfahren

Anonymisierungsverfahren für die automatische Kalibrierung von Sensorsystemen mittels kooperativer Verfahren (Jan-Frederic Markert)

MARC² – Verbesserung der Aktivitätserkennung auf mobilen Endgeräten durch Crowdsourcing und Nutzung von Cloud-Informationen

Name der Teilnehmerin: Anja Exler Beschreibung des IT-Forschungsprojektes: In Deutschland besitzt bereits ein Großteil der Menschen ein Smartphone und führt dabei, unbewusst, ein gut ausgestattetes…

FeinPhone – Partizpatorische Feinstaubmessungen mit Smartphones in Szenarien zukünftiger Smart Cities

Partizpatorische Feinstaubmessungen mit Smartphones in Szenarien zukünftiger Smart Cities (Matthias Budde)

OptimusPlant – Dezentrale Steuerung von cyber-physischen Produktionssystemen

Dezentrale Steuerung von cyber-physischen Produktionssystemen (Julius Pfrommer)

VibrAid – Haptische Benutzerschnittstellen für komplexe Visualisierungen

Haptische Benutzerschnittstellen für komplexe Visualisierungen (Vincent Diener)

ARVis – Augmented Reality for in-situ Process Visualization

Augmented Reality for in-situ Process Visualization (Anne Borcherding)

ESCHE – Implementierung und Evaluierung verschiedener Echtzeit Scheduling Ansätze für massiv parallele Hardware

Name des Teilnehmers: Matthias Freier Beschreibung des IT-Forschungsprojekts: Durch den stetig steigenden Bedarf an Rechenleistung, auch in echtzeitkritischen Anwendungen, wie z.B. einer Motorsteuerung, geht der…

FIfAKS – Formale Informationsflußanalyse in komponentenbasierten Systemen

Formale Informationsflußanalyse in komponentenbasierten Systemen (Simon Greiner)

ESTAData – Entscheidungsunterstützungssysteme aus Spatio-Temporal Analyse von kollaborativen Datenquellen

Entscheidungsunterstützungssysteme aus Spatio-Temporal Analyse von kollaborativen Datenquellen (Julio de Melo Borges)

AKTIFUNK – Untersuchung deterministischer Funkausbreitungsmodelle zur gerätefreien, funkbasierten Aktivitätserkennung

Untersuchung deterministischer Funkausbreitungsmodelle zur gerätefreien, funkbasierten Aktivitätserkennung (Markus Scholz)

CAMSA – Konfigurierbare und überwachbare Dienstqualität für mandantenfähige Software as a Service Anwendungen

Konfigurierbare und überwachbare Dienstqualität für mandantenfähige Software as a Service Anwendungen (Tilmann Kopp)

IBMTD – Innovative Bedienungskonzepte für Multi-Touch-Displays

Innovative Bedienungskonzepte für Multi-Touch-Displays (Tim-Christopher Reiner)

PreTIGA – Optimierung von gamifizierten Systemen durch Echtzeitvorhersagen von Nutzerverhalten und Personalisierung

Name des Teilnehmers: Stefan Tomov Beschreibung des IT-Forschungsprojektes: Gamifizierung ist ein neuer Trend zur Steigerung der Anreize und des Engagements von Personen, durch den Einsatz…

InstaGuide – Modellgetriebene Generierung von natürlichsprachlichen Anleitungen für dynamische, industrielle Umgebungen

Name des Teilnehmers: Andrei Miclaus Beschreibung des IT-Forschungsprojektes: Zukünftige und zum Teil bereits heutige Industrie-Umgebungen sind von einem Zusammenspiel von intelligenten, adaptiven, veränderlichen und komplexen…

BLD – Bearbeitung des Lichttransports in Digitalbildern

Bearbeitung des Lichttransports in Digitalbildern (Stephan Bergmann)

FRAGMENTS – Ein Framework für die Generierung von Mensch-Technik-Schnittstellen in Intelligenten Umgebungen unter Einsatz Ressourcenarmer Vernetzter Endgeräte

Ein Framework für die Generierung von Mensch-Technik-Schnittstellen in Intelligenten Umgebungen unter Einsatz Ressourcenarmer Vernetzter Endgeräte (Matthias Berning)

Linked Data Cubes – Integration und Analyse Verteilter Statistischer Datensätze durch Linked Data

Integration und Analyse Verteilter Statistischer Datensätze durch Linked Data (Benedikt Kämpgen)

Linked Services – Komposition von Linked Data REST Webservices

Komposition von Linked Data REST Webservices (Steffen Stadtmüller)

USV – Usability von Software-Verifikationssystemen: Evaluierung und Verbesserung

Usability von Software-Verifikationssystemen: Evaluierung und Verbesserung (Sarah Grebing)

UHUS – Unterstützung von Hot Updates in verteilten Softwaresystemen

Unterstützung von Hot Updates in verteilten Softwaresystemen (Martin Alexander Neumann)

PROMPT – Leistungsüberwachung von Prozessen in Software-Plattformen

Leistungsüberwachung von Prozessen in Software-Plattformen (Robin Bühler)

VDAR – Verteilte Dezentrale Autonome Regelungssysteme für Dezentrale Energiemärkte

Verteilte Dezentrale Autonome Regelungssysteme für Dezentrale Energiemärkte (Yong Ding)