Untergeordnete Navigation

Forschungsbereiche in Stichpunkten

Informatik 1

Algorithmen und Komplexität

Entwicklung und Analyse von Algorithmen, insbesondere randomisierte Algorithmen und probabilistische Analyse von Algorithmen, kombinatorische Optimierung, Algorithmen für Computernetze

mehr


Prof. Dr. Gerhard Woeginger

Theoretische Informatik

Effiziente Algorithmen, parametrisierte Komplexität, Algorithmen für harte Probleme, algorithmische Lerntheorie

mehr


Prof. Dr. Peter Rossmanith

Informatik 2

Softwaremodellierung und Verifikation

Modellierung und Model-Checking von quantitativen Systemen, Semantik, Testen

mehr


Prof. Dr. Ir. Joost-Pieter Katoen

apl. Prof. Dr. Thomas Noll

Prof. em. Dr. Klaus Indermark

Programmiersprachen und Verifikation

Programmanalyse, Programmverifikation, Termersetzung, Automatische Deduktion

mehr


Prof. Dr. Jürgen Giesl

Theorie Hybrider Systeme

Verifikation und Synthese hybrider und probabilistischer Systeme, Erfüllbarkeitsüberprüfung

mehr


Prof. Dr. Erika Ábrahám

Informatik 3

Software Engineering

Konzepte, Sprachen, Methoden und Werkzeuge für die Softwareentwicklung

mehr


Prof. Dr. Bernhard Rumpe

Prof. Dr. Dr.h.c. Manfred Nagl, Emeritus

Software-Konstruktion

Software-Prozesse und Prozessverbesserung, Software-Qualitätssicherung, Moderne Software-Konstruktionsverfahren

mehr


Prof. Dr. Horst Lichter

Informatik 4

Kommunikation und Verteilte Systeme

Entwicklung und Evaluation von Kommunikationsnetzen und Verteilten Systemen, Sicherheit, Mobile Kommunikation

mehr


Prof. Dr. Klaus Wehrle

Prof. Dr. Dr.h.c. Otto Spaniol, Emeritus

IT-Security

Sicherheit in mobilen, drahtlosen, dezentralen Netzen, Design und Analyse von Sicherheitsarchitekturen für heterogene Netze, Angewandte Kryptographie, Privacy, AAA Architekturen

mehr


Prof. Dr. Ulrike Meyer

Informatik 5

Informationssysteme und Datenbanken

Metadatenverwaltung und Datenbanken, Community-Informationssysteme, Informationssysteme in Ingenieurwissenschaften, Information Retrieval und Visualisierung

mehr


Prof. Dr. Stefan Decker

Prof. Dr. Matthias Jarke

Wissensbasierte Systeme

Künstliche Intelligenz, Wissensrepräsentation, Kognitive Robotik.

mehr


Prof. Gerhard Lakemeyer, Ph.D.

Fraunhofer Institut für Angewandte Informationstechnik (FIT)

Visuell gestütztes Wissensmanagement/Life Science Informatik, Kooperationssysteme/CSCW, Medieninformatik/Medienprozesse

mehr


Prof. Dr. Thomas Berlage

Prof. Wolfgang Prinz, Ph.D.

Prof. Dr. Thomas Rose

Informatik 6

Sprachverarbeitung und Mustererkennung

Spracherkennung, Sprachuebersetzung, Sprachverarbeitung, Mustererkennung, Computer-Vision

mehr


Prof. Dr. Hermann Ney

Informatik 7

Logik und Theorie diskreter Systeme

Automatentheorie und Logik, algorithmische Verifikation und Synthese

mehr


Prof. Dr. Martin Grohe

Prof. Dr. Dr.h.c. Wolfgang Thomas

Prof. em. Dr. Walter Oberschelp

Mathematische Grundlagen der Informatik

Logik in der Informatik, Algorithmische Spieltheorie, Algorithmische Modelltheorie, Komplexität

mehr


Prof. Dr. Erich Grädel

Komplexität diskreter Probleme

Algorithmische und strukturelle Graphen- und Gruppentheorie

mehr


Prof. Dr. Pascal Schweitzer

Informatik 8

Computergraphik und Multimedia

Computergraphik, Geometrieverarbeitung, Polygonnetze, Bildsynthese, Geometrische Modellierung, CAD/CAM, CAGD, Visualisierung, Interaktive Systeme, Unterteilungsflächen

mehr


Prof. Dr. Leif Kobbelt

Mobile Multimedia Processing

Computer Vision, Maschinelles Lernen, Objekterkennung, Tracking, Selbst-Lokalisierung, 3D Rekonstruktion, Vision-Anwendungen für mobile Robotik und intelligente Fahrzeuge

mehr


Prof. Dr. Bastian Leibe

Algorithmen zur Gittergenerierung und -Optimierung

Gittergenerierung, Geometrieverarbeitung, Differentialgeometrie, Numerische Optimierung, Gemischt-Ganzzahlige Optimierung

mehr


Prof. Dr. David Bommes

Computer Animation

Computeranimation, physikalisch-basierte Simulation (Starrkörper, deformierbare Körper, Fluide), Kollisionserkennung, GPGPU, echtzeitfähige Rendering-Verfahren

mehr


Prof. Dr. Jan Bender

Informatik 9

Datenmanagement und -exploration

Data Mining, Datenexploration, Ähnlichkeitssuche, Multimedia- Datenbanken, räumliche und temporale Datenbanken, wissenschaftliche Datenbanken, effiziente Anfragebearbeitung, Indexstrukturen

mehr


N. N.

Lerntechnologien

Computerunterstütztes Lernen, Didaktisches Design, Test-, Prüf- und Rückmeldesysteme

mehr


Prof. Dr. Ulrik Schroeder

Informatik 10

Medieninformatik und Mensch-Computer-Interaktion

Mensch-Computer-Interaktion (HCI), Benutzerschnittstellen für Audio und Video, intelligente Räume, Multitouch-Systeme, interaktive Exponate und Guidesysteme, Ubiquitous, Physical, Tangible und Wearable Computing, Personal Fabrication, Benutzerschnittstellen für Softwareentwicklung

mehr


Prof. Dr. Jan Borchers

Informatik 11

Embedded Software

Entwurfs- und Analysemethoden für softwareintensive eingebettete Systeme, sicherheitskritische eingebettete Systeme, Model-Checking und statische Analyse, automotive Software-Design

mehr


Prof. Dr.-Ing. Stefan Kowalewski

Informatik 12

Hochleistungsrechnen

Programmiermodelle, Algorithmen und Software für Parallel- und Multicore-Rechner, Performance Tuning, automatische Fehleranalyse, Energieeffizienz.

mehr


Prof. Dr. Matthias Müller

Software and Tools for Computational Engineering

automatisches Differenzieren (AD), Compiler-basietes AD, kombinatorische Probleme in AD, Algorithmen und Software für die Programmanalyse und -transformation

mehr


Prof. Dr. Uwe Naumann

Virtuelle Realität und Immersive Visualisierung

Dreidimensionale, multimodale Interaktionstechniken (haptische und akustische Schnittstellen), immersive Visualisierung, Algorithmen zur explorativen Analyse komplexer technisch-physikalischer Prozesse, Entwicklung von VR-Lösungen in den Anwendungsbereichen Maschinenbau (Anlagenbau, Robotik), Simulation Science, Medizin (virtuelle Chirurgie, Regionalanästhesie, Neuropsychologie)

mehr


Prof. Dr. Torsten Kuhlen

AICES

Automation and High Performance Computing

Automatische Generierung und Analyse von Algorithmen, performante lineare Algebra auf Mehrkernprozessoren und Supercomputern, Performanceschätzungen, Eigensolvers, Fließkommaarithmetik

mehr


Prof. Paolo Bientinesi, Ph.D.

German Research School for Simulation Sciences

Parallele Programmierung

Parallele Programmierung, Parallele Performanz, Leistungsanalysewerkzeuge

mehr


N. N.