Institute und Professuren
Inhaltsverzeichnis
Institut für Angewandte Informatik
Institutsdirektor: Wollschlaeger, Prof. Dr.-Ing. habil. Martin
zum Institut für Angewandte Informatik
- Professur für Mensch-Computer-Interaktion
Weber, Prof. Dr. rer. nat. habil. Gerhard· Benutzerzentrierte Entwicklung multimodaler und haptischer
Benutzungsoberflächen· Navigation und neue mobile Dienste für mobilitäts-eingeschränkte Menschen
· Adaptierung und Adaptivität in zeitabhängigen Medien für blinde, sehbehinderte,
gehörlose und dyslexische Leser -
Professur für Prozesskommunikation
Wollschlaeger, Prof. Dr.-Ing. habil. Martin· Echtzeitkommunikation in der Industrie (drahtlos und drahtgebunden)
· Digitale Zwillinge für Produktionssystemen
· Industrial Internet of Things (IIoT)
· Informationsmodellierung für Datenräume in Smart Manufacturing Systems
· Retrofit von industriellen Applikationen als Voraussetzung für nachhaltige Produktion
· Software Defined Production - Professur für Prozessmodellierung für vernetzte technische Systeme
Sommer, Prof. Dr.-Ing. Christoph· Simulation und Modellierung vernetzter Maschinen
· Protokoll- und Systemdesign mobiler, kooperativer, drahtlos vernetzter Systeme
· Gesamtsysteme aus kooperativen autonomen Fahrzeugen, Drohnen und Satelliten
· Reproduzierbare Forschung
- Seniorprofessur für Technische Informationssysteme
Kabitzsch, Prof. Dr.-Ing. habil. Klaus· verteilte, vernetzte Automatisierungssysteme (EN 17609)
· Anwendungen für Gebäudeautomation (GA) und Assistenzsysteme (AAL)
· wissensbasierter Entwurf von GA-Systemen (www.AUTERAS.de)
· automatischer Entwurf, Wiederverwendung, Interoperabilität
· digitale Zwillinge von GA-Komponenten (ECLASS, ISO 16757)
Institut für Künstliche Intelligenz
Institutsdirektor: Rudolph, Prof. Dr. rer. nat. Sebastian
zum Institut für Künstliche Intelligenz
- Professur für Computational Logic
Rudolph, Prof. Dr. rer. nat. Sebastian· Entscheidbarkeit und Komplexität logischer Formalismen
· Semantische Technologien, logikbasierte Wissensrepräsentation· Entscheidbarkeits- und Komplexitätsanalyse logischer Formalismen
· Ontologische Modellierung
· Formale Begriffsanalyse
· Datenbanktheorie
-
Professur für Computational Systems Science
Kühne, Prof. Dr. sc. Thomas D.· Datengetriebene Ansätze und Methoden des maschinellen Lernens
· KI-basierte skalierbare Big-Data-Analytik
· Massiv paralleles Hochleistungsrechnen
· Quantenmechanische Beschreibungen mittels neuartiger numerischer Techniken
und Algorithmen
· Multiskalenmodellierung von Energiematerialien -
Professur für Datenwissenschaften (ScaDS.AI)
Runge, Prof. Dr. Jakob
· Kausale Inferenz
· Maschinelles Lernen / Deep Learning
· Zeitreihenanalyse
· Klimaforschung und andere Anwendungsbereiche -
Professur für Machine Learning for Robotics
Calandra, Prof. Dr. Roberto
· Maschinelles Lernen
· Reinforcement Learning
· Robotik und Tastsinn - Professur für Maschinelles Lernen für Computer Vision
Andres, Prof. Dr. Björn
· Maschinelles Lernen (Clustering, Graphische Modelle)
· Computer Vision (Multiple Object Tracking, Erkennung von verformbaren Objekten,
Bildsegmentierung, biomedizinische Bildanalyse)
· Angewandte Mathematik (kombinatorische Optimierung) - Professur für Maschinelles Lernen für das Räumliche Verständnis (ScaDS.AI)
Weigert, Prof. Dr. Martin
· Maschinelles Lernen für die räumliche Analyse von Mikroskopiebildern
· Segmentierung, Verfolgung und Erkennung von Zellen
· Repräsentationslernen für biologische Daten -
Professur für Softwaremethoden zur Produkt-Virtualisierung
Roller, Prof. Dr. Sabine· Programmier- und Datenmodelle zur effizienten Nutzung aktueller und zukünftiger
Hardware im High Performance Computing (HPC), HPC-Kompetenzzentrum des DLR· Plattform- und Komponentenforschung für multi-disziplinäre Produktanalyse und
Optimierung auf Basis hochgenauer Simulationsansätze· Software-Methoden und Technologien zur Darstellung und Nutzung des Virtuellen
Produkts (Data Analytics, Ersatzmodelle, Integrationsplattform, Softwaresicherheit,
simulationsbasierte Zertifizierung) -
Professur für Wissensbasierte Künstliche Intelligenz (ScaDS.AI)
Razniewski, Prof. Dr. Simon· Sprachmodelle
· Wissensdatenbanken
· Informationsextraktion
· Commonsense-Wissen
- Professur für Wissenschaftliches Rechnen für Systembiologie
Sbalzarini, Prof. Dr. sc. techn. Ivo F.· Computersimulation lebender Systeme
· Partikelmethoden zur numerischen Lösung von partiellen Differentialgleichungen
· Datengetriebene Modellierung und Modelllernen aus Daten
· Maschinelles Lernen in Biologie und Medizin
· Bio-image informatics und 3D Bild-Datenwissenschaften
· Paralleles Hochleistungsrechnen für numerische Simulationen
· Systembiologie und Computational Biology
- Nachwuchsforschungsgruppe für Logische Programmierung und Argumentation
Gaggl, Dr. techn. Sarah A.· Logische Programmierung insbesondere Answer Set Programming
· Exploration großer Lösungsräume
· Argumentationstheorie
Institut für Software- und Multimediatechnik
Institutsdirektor: Dachselt, Prof. Dr.-Ing. Raimund
zum Institut für Software- und Multimediatechnik
- Professur für Computergraphik und Visualisierung
Gumhold, Prof. Dr. rer. nat. Stefan· Wissenschaftliche Visualisierung
· Immersive Analyse· Virtuelle Realität
· Bildsynthese in Echtzeit
· 3D Erfassung· Verarbeitung von 3D Modellen
· Verständliches Maschinelles Lernen
· Posenschätzung - Professur für Mediengestaltung
Groh, Prof. Dr.-Ing. habil. Rainer· Konzeption und Gestaltung interaktiver Systeme
· Forschung im Bereich der wahrnehmungsrealistischen Projektion von 3D-Szenen
· Forschung zur Entwurfsmethodik von Mensch-Maschine-Schnittstellen
- Professur für Multimedia Technologie
Dachselt, Prof. Dr.-Ing. Raimund· Natürliche Formen moderner multimodaler Mensch-Computer Interaktion
· Mensch-Computer Interaktion in Multi-Display- und Mixed Reality Umgebungen
· Hybride und physikalische Benutzungsschnittstellen (Tangible & Physical Computing)
· Kollaborative Benutzerschnittstellen
· Kollaborative Interaktive Datenvisualisierung· Mobile Datenvisualisierung
· Immersive Analyse und Augmented Reality Datenvisualisierung - Professur für Softwaretechnologie
Aßmann, Prof. Dr. rer. nat. Uwe· Modellgetriebene Softwaretechnik (MDSD)
· Komponentenbasiertes Softwareentwicklung (CBSE), insb. invasive
Softwarekomposition· Software-Prduktlinien-Engineering (SPLE)
· Ontologie-getriebene Softwaretechnik (ODSD)
· Softwarearchitekturen für selbst-adaptive Systeme, cyber-physische Systeme und
kollaborative Roboter (Coboter)· Agentenbasierte Modellierung mit Attributgrammatiken und Bigraph-Systemen
· Sichtenbasierte Softwaretechnik (VOSE), auch für gleichungsbasierte Sprachen
· Grüne Softwaretechnik - Professur für Didaktik der Informatik
Damnik, Dr. rer. nat. Gregor· Aus- und Fortbildung von (angehenden) Informatiklehrkräften
· Schulisches wie auch außerschulisches Lernen von informatischen Kompetenzen
· Bildungstechnologien
- Juniorprofessur für Gestaltung immersiver Medien (TT)
McGinity, Jun.-Prof. Dr.-Ing. Matthew -
· Virtuelle und augmentierte Realität
· Immersive Applikationen in Psychotherapie, Museen, Bildung, Kunst und Architektur
· Wahrnehmungspräsenz und multisensorische Wahrnehmung
· Kreatives Computing
Institut für Systemarchitektur
Institutsdirektor: Lehner, Prof. Dr.-Ing. Wolfgang
zum Institut für Systemarchitektur
- Professur für Betriebssysteme
Schirmeier, Prof. Dr.-Ing. Horst· Verlässliche Systemsoftware
· Fehlerinjektion und Fehlertoleranzmechanismen
· Effiziente Betriebssystemschnittstellen
· Abstraktionen für heterogene Architekturen
- Professur für Datenbanken
Lehner, Prof. Dr.-Ing. Wolfgang· Entwurf und Realisierung skalierbarer, robuster, und energie-effizienter
Datenbanksysteme zur Analyse großer Datenbestände (Big Data Platforms)· Design von Algorithmen und effizienten Datenstrukturen zur Ausnutzung moderner
Hardware-Infrastrukturen (z.B.: In-Memory Computing, disaggregierte und
hyperconverged Infrastrukturen, Non-Standard Computing Devices...)· Prinzipien von Anfrage- und Analysemethoden sehr großer und (semi-)strukturierter
Dokumenten-Korpora (überlicherweise Web-Inhalte) - Professur für Privacy and Security
Tschorsch, Prof. Dr. rer. nat. Florian· Datenschutz-freundliche Technologien
· anonyme und unbeobachtete Kommunikation
· Datenschutz & Datensicherheit in und durch verteilte Systeme
· vertrauenswürdigkeit im Internet der Dinge -
Professur für Distributed and Networked Systems
Wählisch, Prof. Dr. Matthias· Entwurf und Analyse von Kommunikationssystemen
· Skalierbare und sichere Kommunikationsnetze
· Netzwerkarchitekturen, Algorithmen und Protokolle
· Internet-Infrastruktur, verteilte Dienste und Anwendungen
· Internet der Dinge, Sensornetze, Cloud, Internet-Messungen
- Professur für Systems Engineering
Fetzer, Prof. Dr. Christof· Funktionale Sicherheit
· Sichere Systeme für Cloud Computing
-
Seniorprofessur für Betriebssysteme
Härtig, Prof. Dr. rer. nat. Hermann· Mikrokernbasierte Betriebssysteme
· Systeme für Hochleistungsrechner
· Echtzeitsysteme, Eingebettete Systeme
· Architekturen sicherer Systeme
· Virtualisierung
· Interaktion von HW/SW-Architekturen
Institut für Technische Informatik
Institutsdirektor: Nagel, Prof. Dr. rer. nat.Wolfgang E.
zum Institut für Technische Informatik
- Professur für Compilerbau
Castrillón, Prof. Dr.-Ing. Jerónimo· Programmiermethoden für heterogene Rechensysteme
· Domän-spezifische Sprachen und high-level Compiler
· Codeoptimierungen (Performance, Energie-Effizienz, Nachhaltigkeit)
· Optimierung emerging Rechtssysteme - Professur für Adaptive Dynamische Systeme
Göhringer, Prof. Dr.-Ing. Diana· Laufzeitadaptive und domänenspezifische Rechnerarchitekturen
· Kommunikationsinfrastrukturen (Network-on-Chip)
· Entwurfswerkzeuge und Systemsimulatoren / virtuelle Plattformen
· Hardware-Software-Codesign und Laufzeitsysteme
- Professur für Prozessorentwurf
N.N.· Rekonfigurierbare ungefähre Computersysteme
· Elektronische Design Automatisierung für zukünftige Nanotechnologien
· Entwurf sicherer Schaltungen mit rekonfigurierbaren Transistoren
· Low-Power-Design für eingebettete maschinelle Lernsysteme
- Professur für Rechnerarchitektur
Nagel, Prof. Dr. rer. nat. Wolfgang E.· Skalierbare Software-Werkzeuge für die Anwendungsoptimierung
· Leistungs- und Energieeffizienz-Analyse für innovative Rechnerarchitekturen
· High Performance Data Analytics und Künstliche Intelligenz· Speicherarchitekturen und Forschungsdatenmanagement
· Parallele Programmierung, Algorithmen und Methoden -
Professur für Skalierbare Software-Architekturen für Data Analytics (ScaDS.AI)
Färber, Prof. Dr.-Ing. Michael
· Natürliche Sprachverarbeitung
· Maschinelles Lernen
· Wissensrepräsentation
Institut für Theoretische Informatik
Institutsdirektor: Baader, Prof. Dr.-Ing. Franz
zum Institut für Theoretische Informatik
- Professur für Algebraische und logische Grundlagen der Informatik
Baier, Prof. Dr. rer. nat. Christel· Formale Methoden, Verifikation, insbesondere Model Checking
· Quantitative Analyse probabilistischer Systeme
· Temporale Logiken und Automatentheorie
· Concurrency Theory und Koordinationssprachen
· Kausalität, Verantwortlichkeit in operationellen Modellen
- Professur für Automatentheorie
Baader, Prof. Dr.-Ing. Franz· Logik in der Informatik und der Künstlichen Intelligenz
· Erklärbare Symbolische Künstliche Intelligenz
· Wissensrepräsentation (Beschreibungslogiken, Modal- und Temporallogiken)· Automatisches Beweisen (Termersetzung, Unifikation und Constraints)
· Automatentheorie und ihre Anwendung in der Logik
- Professur für Grundlagen der Programmierung
Professurvertretung: Dr. rer. nat. Johannes Pahlke· Automatentheorie
· Formale Modelle in der Übersetzung natürlicher Sprachen
- Professur für Wissensbasierte Systeme
Krötzsch, Prof. Dr. rer. pol. Markus· Künstliche Intelligenz, insbesondere symbolische und hybride Ansätze
· Wissensrepräsentation und logisches Schließen
· Intelligente Systeme
· Wissensmanagement und Wissensmodellierung