Institute und Professuren

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 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 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
  Grillenberger, Prof. Dr. rer. nat. Mareen 

  · 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. 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 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 Privacy and Security 
  Tschorsch, Prof. Dr. rer. nat. Florian

  ·cDatenschutz-freundliche Technologien

  · anonyme und unbeobachtete Kommunikation

  · Datenschutz & Datensicherheit in und durch verteilte Systeme
  · vertrauenswürdigkeit im Internet der Dinge

• Professur für Secure Digital Systems
  Kavun, Prof. Dr.-Ing. Elif Bilge

  · Sicherheit digitaler Systeme

  · Ressourceneffiziente kryptografische Verfahren und deren Implementierungen
  · Seitenkanal- und Fehlerinjektionsangriffe und entsprechende Gegenmaßnahmen
  · Schutz KI-basierter Systeme vor interner und externer Manipulation
  · KI in der Kryptografie und Sicherheitstechnik

• 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

Institutsdirektorin: Baier, Prof. Dr. rer. nat. Dr. h. c. Christine

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 Algorithmik
  Kozma, Prof. Dr. rer. nat. László

  · Entwurf und Analyse von Algorithmen

  · Effiziente und adaptive Datenstrukturen

• Professur für Algorithmische und strukturelle Graphentheorie
  Neuen, Prof. Dr. Daniel

  · Parametrisierte Komplexität

  · Graph-Isomorphismus-Problem und Symmetrieerkennung

  · Computergruppentheorie

• 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

• Seniorprofessur 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