Untergeordnete Navigation
Inhalt der Seite
Forschungsgebiete in Stichpunkten
Informatik 1
- Algorithmen und Komplexität
(Prof. Dr. Berthold Vöcking)
-
Entwicklung und Analyse von Algorithmen, insbesondere randomisierte
Algorithmen und probabilistische Analyse von Algorithmen,
kombinatorische Optimierung, Algorithmen für
Computernetze, algorithmische Spieltheorie
- Theoretische Informatik
(Prof. Dr. Peter Rossmanith)
-
Effiziente Algorithmen, parametrisierte Komplexität, Algorithmen für
harte Probleme, algorithmische Lerntheorie
Informatik 2
Informatik 3
- Software Engineering
(Prof. Dr. Bernhard Rumpe)
-
Konzepte, Sprachen, Methoden und Werkzeuge für die Softwareentwicklung
- Software-Konstruktion
(Prof. Dr. Horst Lichter)
-
Software-Prozesse und Prozessverbesserung, Software-Qualitätssicherung,
Moderne Software-Konstruktionsverfahren
Informatik 4
- Kommunikation und Verteilte Systeme
(Prof. Dr. Dr.h.c. Otto Spaniol)
-
Entwicklung und Evaluation von Kommunikationsnetzen und Verteilten
Systemen, Sicherheit, Mobile Kommunikation
- Verteilte Systeme
(Prof. Dr. Klaus Wehrle)
-
Algorithmen und Entwicklung von skalierbaren, flexiblen und
zuverlässigen Kommunikationssystemen;
Modelle, Methoden und Werkzeuge zur strukturierten Entwicklung von
Kommunikationssystemen und -protokollen;
Massiv verteilte Systeme (Peer-to-Peer-Systeme und -Anwendungen,
Sensor-basierte Systeme);
- Mobile Network Performance
(Prof. Dr. James Gross)
-
- Algorithmen und Protokoll für adaptive drahtlose Kommunikationsnetze
- Analytische und simualtive Methoden der Leistungsbewertung von drahtlosen Kommunikationsnetzen
Informatik 5
- Informationssysteme und Datenbanken
(Prof. Dr. Matthias Jarke)
-
Metadatenverwaltung und Datenbanken, Community-Informationssysteme,
Informationssysteme in Ingenieurwissenschaften, Information Retrieval und
Visualisierung
- Wissensbasierte Systeme
(Prof. Gerhard Lakemeyer, Ph.D.)
-
Künstliche Intelligenz, Wissensrepräsentation, Kognitive Robotik.
Informatik 6
Informatik 7
Informatik 8
- Computergraphik und Multimedia
(Prof. Dr. Leif Kobbelt)
-
Computergraphik, Geometrieverarbeitung, Polygonnetze, Bildsynthese,
Geometrische Modellierung, CAD/CAM, CAGD, Visualisierung, Interaktive
Systeme, Unterteilungsflächen
Informatik 9
- Datenmanagement und -exploration
(Prof. Dr. Thomas Seidl)
-
Data Mining, Datenexploration, Ähnlichkeitssuche, Multimedia-
Datenbanken, räumliche und temporale Datenbanken, wissenschaftliche
Datenbanken, effiziente Anfragebearbeitung, Indexstrukturen
- Computerunterstütztes Lernen
(Prof. Dr. Ulrik Schroeder)
-
Computerunterstütztes Lernen, Didaktisches Design, Test-, Prüf- und
Rückmeldesysteme
Informatik 10
- Medieninformatik
(Prof. Dr. Jan Borchers)
-
human-computer interaction (HCI), interaction with multimedia, ubiquitous
computing environments, tangible user interfaces, HCI design pattern
Informatik 11
- Software für eingebettete Systeme
(Prof. Dr. Stefan Kowalewski)
-
Entwurfs- und Analysemethoden für softwareintensive eingebettete
Systeme, sicherheitskritische eingebettete Systeme, Model-Checking und
statische Analyse, automotive Software-Design
Informatik 12
- Hochleistungsrechnen
(Prof. Christian Bischof, Ph.D.)
-
Automatisches und rechnergestütztes Differenzieren, Sensitivitätsanalyse,
Semantische Erweiterung von Programmen, Hochleistungsrechnen, Paralleles
Rechnen, Grid Computing, Problemlösungsumgebungen, Virtuelle Realität,
Numerische Lineare Algebra, Computational Science and Engineering
- Virtuelle Realität
(Prof. Dr. Torsten Kuhlen)
-
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)
UMIC
- IT-Security
(Prof. Dr. Ulrike Meyer)
-
Sicherheit in mobilen, drahtlosen, dezentralen Netzen, Design und
Analyse von Sicherheitsarchitekturen für heterogene Netze, Angewandte
Kryptographie, Privacy, AAA Architekturen
AICES
- Automation and High Performance Computing
(Prof. Paolo Bientinesi Ph.D.)
-
Automatische Generierung und Analyse von Algorithmen, performante
lineare Algebra auf Mehrkernprozessoren und Supercomputern,
Performanceschätzungen, Eigensolvers, Fließkommaarithmetik