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
| Priv.-Doz. Dr. Unger, Walter | Tel.: +49 241 80 21103 | |
| Priv.-Doz. Dr. rer. nat. Seibert, Sebastian | Tel.: +49 241 80 21103 |
Webseite des Forschungsbereichs
Theoretische Informatik
Effiziente Algorithmen, parametrisierte Komplexität, Algorithmen für harte Probleme, algorithmische Lerntheorie
| Universitätsprofessor Prof. Dr. rer. nat. Rossmanith, Peter | Tel.: +49 241 80 21130 |
Webseite des Forschungsbereichs
Informatik 2
Softwaremodellierung und Verifikation
Model Checking, Formale Semantik, Concurrency Theory, Programmanalyse, Probabilistische Programmierung
| Universitätsprofessor Prof. Dr. Ir. Katoen, Joost-Pieter | Tel.: +49 241 80 21200 Fax: +49 241 80 22217 | |
| Apl. Prof. Dr. Noll, Thomas | Tel.: +49 241 80 21213 Fax: +49 241 80 22217 | |
| Prof. i.R. Dr. rer. nat. Indermark, Klaus | Tel.: +49 241 80 21250 Fax: +49 241 80 22217 |
Webseite des Forschungsbereichs
Programmiersprachen und Verifikation
Programmanalyse, Programmverifikation, Termersetzung, Automatische Deduktion
| Universitätsprofessor Prof. Dr. rer. nat. Giesl, Jürgen | Tel.: +49 241 80 21230 Fax: +49 241 80 22217 |
Webseite des Forschungsbereichs
Theorie Hybrider Systeme
Formale Methoden für hybride und probabilistische Systeme, Erfüllbarkeitsüberprüfung, SMT Solving
| Universitätsprofessorin Prof. Dr. Ábrahám, Erika | Tel.: +49 241 80 21242 Fax: +49 241 80 22243 |
Webseite des Forschungsbereichs
Management Science
Kombinatorische Optimierung, Algorithmische Spieltheorie, Graph- und Netzwerkalgorithmen
| Universitätsprofessorin Prof. Dr. rer. nat. Peis, Britta | Tel.: +49 241 80 93392 |
Webseite des Forschungsbereichs
Informatik 3
Software Engineering
Konzepte, Sprachen, Methoden, Agilität, Digitalisierung, Architekturen, Features, Werkzeuge
| Universitätsprofessor Prof. Dr. rer. nat. Rumpe, Bernhard | Tel.: +49 241 80 21300 Fax: +49 241 80 22218 | |
| Univ.-Prof. i.R. Dr.-Ing. Dr. h. c. Nagl, Manfred | Tel.: +49 241 80 21350 |
Webseite des Forschungsbereichs
Softwarekonstruktion
Software-Prozesse und Prozessverbesserung, Software-Qualitätssicherung, Moderne Software-Konstruktionsverfahren
| Universitätsprofessor Prof. Dr. rer. nat. Lichter, Horst | Tel.: +49 241 80 21330 |
Webseite des Forschungsbereichs
Rechnen in Neuronalen Schaltkreisen
Informationsverarbeitung und Lernen in neuronalen Netzen, Hochleistungssoftware für Simulationen, Algorithmen für neuromorphes Rechnen
| Universitätsprofessorin Prof. Dr. rer. nat. Morrison, Abigail | Tel.: +49 2461 61 9805 Fax: +49 2461 61 9460 |
Webseite des Forschungsbereichs
Informatik 4
Kommunikation und verteilte Systeme
Entwicklung und Evaluation von Kommunikationsnetzen und verteilten Systemen, Sicherheit, Mobile Kommunikation
| Universitätsprofessor Prof. Dr.-Ing. Wehrle, Klaus | Tel.: +49 241 80 21400 Fax: +49 241 80 22222 | |
| Prof. i.R. Dr. rer. nat. Dr. h. c. Spaniol, Otto | Tel.: +49 241 80 21450 Fax: +49 241 80 22222 |
Webseite des Forschungsbereichs
IT-Sicherheit
Sicherheit in mobilen, drahtlosen, dezentralen Netzen, Design und Analyse von Sicherheitsarchitekturen für heterogene Netze, Angewandte Kryptographie, Privacy, AAA Architekturen
| Universitätsprofessorin Prof. Dr.-Ing. Meyer, Ulrike | Tel.: +49 241 80 20783 |
Webseite des Forschungsbereichs
Computational Network Science
Network Science, Graph Mining, Complex Networks, Applied Dynamical Systems, Graph Signal Processing, Data Science
| Juniorprofessor Prof. Schaub, Michael PhD | Tel.: +49 241 80 21490 |
Webseite des Forschungsbereichs
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
| Juniorprofessor Prof. 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 Prof. Dr. rer. pol. Decker, Stefan | Tel.: +49 241 80 21540 Fax: +49 241 80 22321 | |
| Prof. h. c. i.R. Dr. rer. pol. Jarke, Matthias | Tel.: +49 241 80 21500 Fax: +49 241 80 22321 |
Webseite des Forschungsbereichs
Wissensbasierte Systeme
Künstliche Intelligenz, Wissensrepräsentation, Kognitive Robotik
| Universitätsprofessor Prof. Dr. phil. Lakemeyer, Gerhard | Tel.: +49 241 80 21530 Fax: +49 241 80 22321 |
Webseite des Forschungsbereichs
Life Science Informatik
am Fraunhofer-Institut für Angewandte Informationstechnik (FIT)
| Universitätsprofessor Prof. Dr. rer. nat. Berlage, Thomas | Tel.: +49 241 80 21502 Fax: +49 241 80 22321 |
Webseite des Forschungsbereichs
Kooperationssysteme
am Fraunhofer-Institut für Angewandte Informationstechnik (FIT)
| Universitätsprofessor Prof. Dr. Prinz, Wolfgang | Tel.: +49 241 80 21502 Fax: +49 241 80 22321 |
Webseite des Forschungsbereichs
Risikomanagement und Entscheidungsunterstützung
am Fraunhofer-Institut für Angewandte Informationstechnik (FIT)
| Universitätsprofessor Prof. Dr. rer. nat. Rose, Thomas | Tel.: +49 241 80 21507 Fax: +49 241 80 22321 |
Webseite des Forschungsbereichs
Juniorprofessur für Datenstrom-Management und -Analyse
Datenströme, Datenstromanalyse, Datenqualität, Datenökosysteme, IoT, eHealth, Industry 4.0
| Juniorprofessorin Prof. Dr. rer. nat. Geisler, Sandra | Tel.: +49 241 80 21508 Fax: +49 241 80 22321 |
Webseite des Forschungsbereichs
Informatik 6
Machine Learning and Reasoning
Lernen zu handeln und zu planen, Künstliche Intelligenz, Maschinelles Lernen, Planung
| Universitätsprofessor Prof. Geffner, Hector PhD | Tel.: +49 241 80 21640 Fax: +49 241 80 22219 |
Webseite des Forschungsbereichs
Sprachverarbeitung und Mustererkennung
Spracherkennung, Sprachuebersetzung, Sprachverarbeitung, Mustererkennung, Computer-Vision
| Univ.-Prof. i. R. Dr.-Ing. Ney, Hermann | Tel.: +49 241 80 21600 Fax: +49 241 80 22219 | |
| Priv.-Doz. Dr. Schlüter, Ralf | Tel.: +49 241 80 21612 Fax: +49 241 80 22219 |
Webseite des Forschungsbereichs
Maschinelles Lernen auf Graphen
Maschinelles Lernen auf Graphen (Theorie und Anwendung), graph neural networks, maschinelles Lernen für die kombinatorische Optimierung
| Juniorprofessor Prof. Dr. rer. nat. Morris, Christopher | Tel.: +49 241 80 21650 |
Webseite des Forschungsbereichs
Informatik 7
Logik und Theorie diskreter Systeme
Automatentheorie und Logik, algorithmische Verifikation und Synthese
| Universitätsprofessor Prof. Dr. rer. nat. Grohe, Martin | Tel.: +49 241 80 21700 Fax: +49 241 80 22215 | |
| Univ.-Prof. i. R. Dr. rer. nat. Thomas, Wolfgang | Tel.: +49 241 80 21710 Fax: +49 241 80 22215 | |
| Prof. i.R. Dr. rer. nat. Oberschelp, Walter | Tel.: +49 241 80 21750 Fax: +49 241 80 22215 | |
| Apl. Prof. Dr. Löding, Christof | Tel.: +49 241 80 21712 |
Webseite des Forschungsbereichs
Mathematische Grundlagen der Informatik
Logik in der Informatik, Algorithmische Spieltheorie, Algorithmische Modelltheorie, Komplexität
| Universitätsprofessor Univ.-Prof. Dr. phil. Grädel, Erich | Tel.: +49 241 80 21730 Fax: - |
Webseite des Forschungsbereichs
Kombinatorische Optimierung
Algorithmen auf Graphen, Optimierung unter Unsicherheiten, Optimierung im Gesundheitswesen
| Universitätsprofessorin Prof. Dr. rer. nat. Büsing, Christina | Tel.: +49 241 80 93441 |
Webseite des Forschungsbereichs
Informatik 8
Computergraphik und Multimedia
Computergraphik, Geometrieverarbeitung, Polygonnetze, Bildsynthese, Geometrische Modellierung, CAD/CAM, CAGD, Visualisierung, Interaktive Systeme, Unterteilungsflächen
| Universitätsprofessor Prof. Dr. rer. nat. Kobbelt, Leif | Tel.: +49 241 80 21800 Fax: +49 241 80 22899 |
Webseite des Forschungsbereichs
Computer Animation
Computeranimation, physikalisch-basierte Simulation (Starrkörper, deformierbare Körper, Fluide), Kollisionserkennung, GPGPU, echtzeitfähige Rendering-Verfahren
| Universitätsprofessor Prof. Dr. rer. nat. Bender, Jan | Tel.: +49 241 80 24081 |
Webseite des Forschungsbereichs
Informatik 9
Process and Data Science
Data Science, Process Science, Process Mining, Business Process Management, Data Mining, Process Discovery, Conformance Checking, Simulation
| Universitätsprofessor Prof. Dr. Ir. van der Aalst, Willibrordus Martinus Pancratius | Tel.: +49 241 80 21900 Fax: +49 241 80 621902 |
Webseite des Forschungsbereichs
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 Prof. Dr.-Ing. Schroeder, Ulrik | Tel.: +49 241 80 21930 Fax: +49 241 80 621931 |
Webseite des Forschungsbereichs
Business Process Management Foundations and Engineering
Business Process Mining, Process Optimisation, Process Mining, Stochastic Process Mining
| Universitätsprofessor Dr. ir. Leemans, Sander PhD | Tel.: +49 241 80 26048 |
Webseite des Forschungsbereichs
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 Prof. Dr. rer. nat. Borchers, Jan | Tel.: +49 241 80 21050 Fax: +49 241 80 22050 |
Webseite des Forschungsbereichs
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 Prof. Dr.-Ing. Kowalewski, Stefan | Tel.: +49 241 80 21150 |
Webseite des Forschungsbereichs
Informatik 12
Hochleistungsrechnen
Programmiermodelle, Algorithmen und Software für Parallel- und Multicore-Rechner, Performance Tuning, automatische Fehleranalyse, Energieeffizienz
| Universitätsprofessor Prof. Dr. rer. nat. Müller, Matthias | Tel.: +49 241 80 29110 Fax: +49 241 80 22134 |
Webseite des Forschungsbereichs
Software und Werkzeuge für Computational Engineering
Algorithmisches Differenzieren, (Adjungierte) Numerische Methoden, (Kombinatorisches) Wissenschaftliches Rechnen, Simulationssoftware-Engineering, Programmanalyse und Compilerbau, (Paralleles) Hochleistungsrechnen
| Universitätsprofessor Prof. Dr. rer. nat. Naumann, Uwe | Tel.: +49 241 80 28920 |
Webseite des Forschungsbereichs
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 Prof. Dr. rer. nat. Kuhlen, Torsten | Tel.: +49 241 80 24783 Fax: +49 241 80 22134 |
Webseite des Forschungsbereichs
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 Prof. Dr. sc. techn. Leibe, Bastian | Tel.: +49 241 80 20762 |
Webseite des Forschungsbereichs
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
| Universitätsprofessor Prof. Dr. rer. nat. Hoos, Holger | Tel.: +49 241 80 21451 |
Webseite des Forschungsbereichs
DSME
Data Science im Maschinenbau
(Zweitsitz)
Maschinelles Lernen, Regelungs- und Systemtheorie, probabilistische Methoden, verteilte und vernetzte Systeme, cyber-physikalische Systeme, Robotik
| Universitätsprofessor Prof. Dr. Trimpe, Sebastian | Tel.: +49 241 80 92051 |
Webseite des Forschungsbereichs