Die Lehrstühle im Bereich „Foundations of Computing“ befassen sich mit den Kernbereichen der theoretischen, praktischen und technischen Informatik von den theoretischen Grundlagen bis zu praktischen Anwendungen.
Die theoretische Informatik stellt grundsätzliche Fragen zu Berechenbarkeit, Effizienz und Fähigkeiten von Funktionen und Algorithmen und entwickelt Formalisierungen, die in anderen Bereichen der Informatik verwendet werden, um komplexe Systeme zu beschreiben und zu analysieren.
- Welche Funktionen kann ein Computer prinzipiell berechnen, welche nicht?
- Zu welchen Fragestellungen gibt es effiziente Algorithmen?
- Können wir beweisen, dass manche Algorithmen besser sind als andere, und in welchem Sinne?
- Können Computer bestimmte Aufgaben “von selber lernen”, und wenn ja, welche und wie?
In der praktischen Informatik stehen die effiziente Konstruktion großer Softwaresysteme, die Analyse und Transformation strukturierter Daten, Algorithmen für das automatische Beweisen und Optimieren sowie Lösungen für komplexe Web-basierte verteilte Systeme im Fokus der aktuellen Forschung.
- Deklarative Sprachen für die Analyse und Transformation strukturierter Daten
- Neue Paradigmen für datenintensives Programmieren
- Effiziente Konstruktion großer Softwaresysteme
- Definition, Analyse und Verifikation von Softwaresystemen
- Algorithmen zum Rechnen in der Mathematischen Aussagenlogik
In der technischen Informatik stellen der Entwurf, die Analyse und die Optimierung von eingebetteten Systemen, Kommunikationsnetzen und Rechnerarchitekturen sowie technische Anwendungen maschineller Lernverfahren den Schwerpunkt der aktuellen Forschung.
- Entwurf und Verifikation sicherer eingebetteter Systeme
- Timing- und Poweranalyse eingebetteter Software
- Architekturentwurf: von der Systemebene bis zum Tapeout
- Neural Interfaces and Brain Signal Decoding
- Design, Optimierung und Anwendung von Kommunikationsnetzen
- Internet-Protokolle, Software-Defined Networking (SDN)
- Industrie-, Automobil- und Satellitennetze, 5G/6G
- Ausfallsicherheit, Netzwerksicherheit, Cyber Security