Liste der Forschungsbereiche
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
| Universitätsprofessor Dr. Woeginger, Gerhard |
Tel.: +49 241 80 21100 Fax: +49 241 80 22216 | |
| Privatdozent Dr. rer. nat. Unger, Walter |
Tel.: +49 241 80 21103 Fax: +49 241 80 22216 | |
| Privatdozent Dr. rer. nat. Seibert, Sebastian |
Tel.: +49 241 80 21103 |
Theoretische Informatik
Effiziente Algorithmen, parametrisierte Komplexität, Algorithmen für harte Probleme, algorithmische Lerntheorie
| Universitätsprofessor Dr. rer. nat. Rossmanith, Peter |
Tel.: +49 241 80 21130 Fax: +49 241 80 22360 |
Informatik 2
Softwaremodellierung und Verifikation
Model Checking, Formale Semantik, Concurrency Theory, Programmanalyse, Probabilistische Programmierung
| Universitätsprofessor Dr. ir. Dr. h. c. (AAU) Katoen, Joost-Pieter |
Tel.: +49 241 80 21200 Fax: +49 241 80 22217 | |
| apl. Professor Dr. rer. nat. Noll, Thomas |
Tel.: +49 241 80 21213 Fax: +49 241 80 22217 | |
| Universitätsprofessor em. Dr. rer. nat. Indermark, Klaus |
Tel.: +49 241 80 21250 Fax: +49 241 80 22217 |
Programmiersprachen und Verifikation
Programmanalyse, Programmverifikation, Termersetzung, Automatische Deduktion
| Universitätsprofessor Dr. rer. nat. Giesl, Jürgen |
Tel.: +49 241 80 21230 Fax: +49 241 80 22217 |
Theorie Hybrider Systeme
Formale Methoden für hybride und probabilistische Systeme, Erfüllbarkeitsüberprüfung, SMT Solving
| Universitätsprofessorin Dr. Ábrahám, Erika |
Tel.: +49 241 80 21242 Fax: +49 241 80 22243 |
Informatik 3
Software Engineering
Konzepte, Sprachen, Methoden, Agilität, Digitalisierung, Architekturen, Features, Werkzeuge
| Universitätsprofessor Dr. rer. nat. Rumpe, Bernhard |
Tel.: +49 241 80 21000 Fax: +49 241 80 22218 | |
| Universitätsprofessor i.R. Dr.-Ing. Nagl, Manfred |
Tel.: +49 241 80 21350 |
Softwarekonstruktion
Software-Prozesse und Prozessverbesserung, Software-Qualitätssicherung, Moderne Software-Konstruktionsverfahren
| Universitätsprofessor Dr. rer. nat. Lichter, Horst |
Tel.: +49 241 80 21330 Fax: +49 241 80 22352 |
Informatik 4
Kommunikation und verteilte Systeme
Entwicklung und Evaluation von Kommunikationsnetzen und verteilten Systemen, Sicherheit, Mobile Kommunikation
| Universitätsprofessor Dr.-Ing. Wehrle, Klaus |
Tel.: +49 241 80 21400 Fax: +49 241 80 22222 | |
| Universitätsprofessor i.R. Dr. rer. nat. Spaniol, Otto |
Tel.: +49 241 80 21450 Fax: +49 241 80 22222 |
IT-Sicherheit
Sicherheit in mobilen, drahtlosen, dezentralen Netzen, Design und Analyse von Sicherheitsarchitekturen für heterogene Netze, Angewandte Kryptographie, Privacy, AAA Architekturen
| Universitätsprofessorin Dr.-Ing. Meyer, Ulrike |
Tel.: +49 241 80 20783 Fax: +49 241 80 22731 |
Informatik 5
Informationssysteme und Datenbanken
Metadatenverwaltung und Datenbanken, Community-Informationssysteme, Informationssysteme in Ingenieurwissenschaften, Information Retrieval und Visualisierung
| Universitätsprofessor Dr. rer. pol. Decker, Stefan |
Tel.: +49 241 80 21540 Fax: +49 241 80 22321 | |
| Universitätsprofessor Dr. rer. pol. Jarke, Matthias |
Tel.: +49 241 80 21500 Fax: +49 241 80 22321 | |
| Privatdozent Dr. rer. nat. Klamma, Ralf |
Tel.: +49 241 80 21513 Fax: +49 241 80 22321 | |
| Privatdozent Dr. rer. nat. Quix, Christoph |
Tel.: +49 241 80 21511 Fax: +49 241 80 22321 |
Wissensbasierte Systeme
Künstliche Intelligenz, Wissensrepräsentation, Kognitive Robotik
| Universitätsprofessor Lakemeyer, Gerhard Ph. D. |
Tel.: +49 241 80 21530 Fax: +49 241 80 22321 |
Life Science Informatik
am Fraunhofer-Institut für Angewandte Informationstechnik (FIT)
| Universitätsprofessor Dr. Berlage, Thomas |
Tel.: +49 241 80 21502 Fax: +49 241 80 22321 |
Kooperationssysteme
am Fraunhofer-Institut für Angewandte Informationstechnik (FIT)
| Universitätsprofessor Prinz, Wolfgang Ph. D. |
Tel.: +49 241 80 21502 Fax: +49 241 80 22321 |
Risikomanagement und Entscheidungsunterstützung
am Fraunhofer-Institut für Angewandte Informationstechnik (FIT)
| Universitätsprofessor Dr. rer. nat. Rose, Thomas |
Tel.: +49 241 80 21507 Fax: +49 241 80 22321 |
Informatik 6
Sprachverarbeitung und Mustererkennung
Spracherkennung, Sprachuebersetzung, Sprachverarbeitung, Mustererkennung, Computer-Vision
| Universitätsprofessor Dr.-Ing. Ney, Hermann |
Tel.: +49 241 80 21600 Fax: +49 241 80 22219 |
Informatik 7
Logik und Theorie diskreter Systeme
Automatentheorie und Logik, algorithmische Verifikation und Synthese
| Universitätsprofessor Dr. rer. nat. Grohe, Martin |
Tel.: +49 241 80 21700 Fax: +49 241 80 22215 | |
| Universitätsprofessor i.R. Dr. rer. nat. Dr. h. c. (ENS Cachan) Dr. h. c. (UMH) Thomas, Wolfgang |
Tel.: +49 241 80 21710 Fax: +49 241 80 22215 | |
| Universitätsprofessor em. Dr. rer. nat. Oberschelp, Walter |
Tel.: +49 241 80 21750 Fax: +49 241 80 22215 | |
| Privatdozent Dr. rer. nat. Löding, Christof |
Tel.: +49 241 80 21712 Fax: +49 241 80 22215 |
Mathematische Grundlagen der Informatik
Logik in der Informatik, Algorithmische Spieltheorie, Algorithmische Modelltheorie, Komplexität
| Universitätsprofessor Dr. phil. Grädel, Erich |
Tel.: +49 241 80 21730 Fax: +49 241 80 22215 |
Informatik 8
Computergraphik und Multimedia
Computergraphik, Geometrieverarbeitung, Polygonnetze, Bildsynthese, Geometrische Modellierung, CAD/CAM, CAGD, Visualisierung, Interaktive Systeme, Unterteilungsflächen
| Universitätsprofessor Dr. rer. nat. Kobbelt, Leif |
Tel.: +49 241 80 21800 Fax: +49 241 80 22899 |
Computer Vision
Computer Vision, Maschinelles Lernen, Objekterkennung, Tracking, Selbst-Lokalisierung, 3D Rekonstruktion, Vision-Anwendungen für mobile Robotik und intelligente Fahrzeuge
| Universitätsprofessor Dr. sc. techn. Leibe, Bastian |
Tel.: +49 241 80 20762 Fax: +49 241 80 22731 |
Computer Animation
Computeranimation, physikalisch-basierte Simulation (Starrkörper, deformierbare Körper, Fluide), Kollisionserkennung, GPGPU, echtzeitfähige Rendering-Verfahren
| Universitätsprofessor Dr. rer. nat. Bender, Jan Stephen |
Tel.: +49 241 80 24081 |
Informatik 9
Process and Data Science
Data Science, Process Science, Process Mining, Business Process Management, Data Mining, Process Discovery, Conformance Checking, Simulation
| Universitätsprofessor Professor h. c . Dr. h. c. Dr. ir. van der Aalst, Wil |
Tel.: +49 241 80 21900 Fax: +49 241 80 621902 |
Lerntechnologien
Computerunterstütztes Lernen, Didaktisches Design, Test-, Prüf- und Rückmeldesysteme, Learning Analytics, Lernplattformen, Fachdidaktik Informatik, Informatik in der Schule, außerschulische Lernorte
| Universitätsprofessor Dr.-Ing. Schroeder, Ulrik |
Tel.: +49 241 80 21930 Fax: +49 241 80 621931 |
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
| Universitätsprofessor Dr. rer. nat. Borchers, Jan Oliver |
Tel.: +49 241 80 21050 Fax: +49 241 80 22050 |
Informatik 11
Embedded Software
Entwurfs- und Analysemethoden für softwareintensive eingebettete Systeme, sicherheitskritische eingebettete Systeme, Model-Checking und statische Analyse, automotive Software-Design
| Universitätsprofessor Dr.-Ing. Kowalewski, Stefan |
Tel.: +49 241 80 21150 |
Informatik 12
Hochleistungsrechnen
Programmiermodelle, Algorithmen und Software für Parallel- und Multicore-Rechner, Performance Tuning, automatische Fehleranalyse, Energieeffizienz
| Universitätsprofessor Dr. rer. nat. Müller, Matthias |
Tel.: +49 241 80 29110 Fax: +49 241 80 22134 |
Software und Werkzeuge für Computational Engineering
Algorithmisches Differenzieren, (Adjungierte) Numerische Methoden, (Kombinatorisches) Wissenschaftliches Rechnen, Simulationssoftware-Engineering, Programmanalyse und Compilerbau, (Paralleles) Hochleistungsrechnen
| Universitätsprofessor Dr. rer. nat. Naumann, Uwe |
Tel.: +49 241 80 28920 |
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)
| Universitätsprofessor Dr. rer. nat. Kuhlen, Torsten Wolfgang |
Tel.: +49 241 80 24783 Fax: +49 241 80 22134 |
AICES
High Performance and Automatic Computing
(Zweitsitz)
Automatische Generierung und Analyse von Algorithmen, performante lineare Algebra auf Mehrkernprozessoren und Supercomputern, Performanceschätzungen, Eigensolvers, Fließkommaarithmetik
| Universitätsprofessor Bientinesi, Paolo Ph. D. |
Tel.: +49 241 80 99134 Fax: +49 241 80 628498 |
CSSH
Computational Social Sciences and Humanities
(Zweitsitz)
Social data science, computational social systems, computational models of human behavior, network science, social networks, text and pattern mining
| Universitätsprofessor Dr. techn. (TUG) Strohmaier, Markus |
Tel.: +49 241 80 25495 |