Institut für Informatik

Zugehörige Organisationseinheiten

---

  

  

  

1 von 2

  

  

  

• Geschäftsführendes Direktorat
• Theoretische Informatik
• Algorithmen und Komplexität II
• Modellierung und Analyse komplexer Systeme
• Algorithm Engineering
• Systemarchitektur
• Datenbanken und Informationssysteme
• Prozessmanagement und Informationssysteme
• Informatik und Gesellschaft und Didaktik der Informatik
• Adaptive Systeme

Projekte

---

  

  

  

1 von 11

  

  

  

10/2025 - 10/2027	Weizenbaum-Institut für die vernetzte Gesellschaft - Das Deutsche Internet-Institut - 2. Etablierungsphase
10/2025 - 09/2028	FLASH II: Steuerung von Suchprozessen für Testfallgenerierung und Programmreparatur
09/2025 - 08/2028	DIPM: Datengetriebene Inverse Prozedurale Modellierung
10/2024 - 09/2025	AIOS
09/2024 - 08/2027	Auswirkungen von Process-Mining-Werkzeugen auf die Prozessanalyse (ProImpact)
08/2024 - 09/2026	Entwicklung einer kamerabasierten Lösung für die Detektion des Bewegungsverhaltens und die Bestimmung des Längen- und Massenwachstums
07/2024 - 06/2028	SFB 1404/2: FONDA – Grundlagen von Workflows für die Analyse großer naturwissenschaftlicher Daten
07/2024 - 06/2028	Service Project: Testbeds and Repositories
07/2024 - 06/2028	SFB 1404/2: S2 (MGK) Service Project: Integrated Research Training Group
07/2024 - 06/2028	Energy-Aware Optimization of Workflows in Bioinformatics
07/2024 - 06/2028	Hardening Computational Materials-Science Workflows against Human Errors
07/2024 - 06/2028	SFB 1404/2: TP A07 Semantic Composition and Validation of Interacting DAWs in Computational Materials Science
07/2024 - 06/2028	CO2 effizientes Scheduling verteilter Workflows mit Unsicherheiten (B01)
07/2024 - 06/2028	SFB 1404/2: TP C02 Early Workflow Design: From Collaborative Scientific Problem-Solving to DAW Specifications
06/2024 - 12/2025	Observational learning in developing humans and artificial agents
01/2024 - 12/2026	Hochgenaue 3D Streckenvermessung von Schienenwegen in Echtzeit für eine verbesserte Fahrerassistenz
12/2023 - 11/2026	Evaluierung von Anfragen für SLP-komprimierte Bäume, Graphen und relationale Daten
10/2023 - 09/2025	Kalibrierte Markerlose Bildverarbeitung zur Detektion objektinhärenter Bewegungen
10/2023 - 09/2026	Mehr als Kernelisierung – Mehr Allgemeinheit für effiziente Vorverarbeitung
10/2023 - 09/2026	Mehr als Kernelisierung – Mehr Allgemeinheit für effiziente Vorverarbeitung