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
| 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 |
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 21300 Fax: +49 241 80 22218 | |
| Universitätsprofessor i.R. Dr.-Ing. Dr. h. c. 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 |
Rechnen in Neuronalen Schaltkreisen
Informationsverarbeitung und Lernen in neuronalen Netzen, Hochleistungssoftware für Simulationen, Algorithmen für neuromorphes Rechnen
| Universitätsprofessorin Dr. rer. nat. Morrison, Abigail | Tel.: +49 2461 61 9805 Fax: +49 2461 61 9460 |
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. Dr. h. c. 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 |
Computational Network Science
Network Science, Graph Mining, Complex Networks, Applied Dynamical Systems, Graph Signal Processing, Data Science
| Professor als Juniorprofessor Schaub, Michael Ph.D. | Tel.: +49 241 80 21490 |
Sicherheit und Datenschutz in industrieller Kooperation
Sicherheit in industriellen Netzwerken, sicherer Austausch von Industriedaten, datenschutzfreundliche Technologien, Daten- und Netzwerksicherheit, Cyber-physische Systeme, Industrial Internet of Things, Industrie 4.0, Kritische Infrastrukturen
| Professor als Juniorprofessor Dr. rer. nat. Henze, Martin | Tel.: +49 241 80 21459 Fax: +49 241 80 22222 |
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 i.R. Professor h. c. (OM) 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 |
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 |
Juniorprofessur für Datenstrom-Management und -Analyse
Datenströme, Datenstromanalyse, Datenqualität, Datenökosysteme, IoT, eHealth, Industry 4.0
| Professorin als Juniorprofessorin Dr. rer. nat. Geisler, Sandra | Tel.: +49 241 80 21508 Fax: +49 241 80 22321 |
Informatik 6
Sprachverarbeitung und Mustererkennung
Spracherkennung, Sprachuebersetzung, Sprachverarbeitung, Mustererkennung, Computer-Vision
| Universitätsprofessor i.R. Dr.-Ing. Ney, Hermann | Tel.: +49 241 80 21600 Fax: +49 241 80 22219 | |
| Privatdozent Dr. rer. nat. Schlüter, Ralf | Tel.: +49 241 80 21612 Fax: +49 241 80 22219 |
Maschinelles Lernen auf Graphen
Maschinelles Lernen auf Graphen (Theorie und Anwendung), graph neural networks, maschinelles Lernen für die kombinatorische Optimierung
| Professor als Juniorprofessor Dr. rer. nat. Morris, Christopher |
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 | |
| apl. Professor Dr. rer. nat. Löding, Christof | Tel.: +49 241 80 21712 |
Mathematische Grundlagen der Informatik
Logik in der Informatik, Algorithmische Spieltheorie, Algorithmische Modelltheorie, Komplexität
| Univ.-Prof. Dr. phil. Grädel, Erich | Tel.: +49 241 80 21601 Fax: +49 241 80 22219 |
Kombinatorische Optimierung
Algorithmen auf Graphen, Optimierung unter Unsicherheiten, Optimierung im Gesundheitswesen
| Universitätsprofessorin Dr. rer. nat. Büsing, Christina | Tel.: +49 241 80 93441 |
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 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 |
Business Process Management Foundations and Engineering
Business Process Mining, Process Optimisation, Process Mining, Stochastic Process Mining
| Universitätsprofessor Dr. ir. Leemans, Sander | Tel.: +49 241 80 26048 |
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 |
Informatik 13
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 |
Informatik 14
Methodik der Künstlichen Intelligenz (AIM)
Künstliche Intelligenz, Maschinelles Lernen, Automatisches Schließen, Optimierung, Empirische Algorithmik, Automatisches Design und Analyse von KI-Algorithmen
DSME
Data Science im Maschinenbau
(Zweitsitz)
Maschinelles Lernen, Regelungs- und Systemtheorie, probabilistische Methoden, verteilte und vernetzte Systeme, cyber-physikalische Systeme, Robotik
| Universitätsprofessor Dr. Trimpe, Sebastian | Tel.: +49 241 80 92051 |