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 | |
Privatdozent 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 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 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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
Management Science
Kombinatorische Optimierung, Algorithmische Spieltheorie, Graph- und Netzwerkalgorithmen
Universitätsprofessorin 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 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 |
Webseite des Forschungsbereichs
Softwarekonstruktion
Software-Prozesse und Prozessverbesserung, Software-Qualitätssicherung, Moderne Software-Konstruktionsverfahren
Universitätsprofessor 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 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 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 |
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 Dr.-Ing. Meyer, Ulrike | Tel.: +49 241 80 20783 Fax: +49 241 80 22731 |
Webseite des Forschungsbereichs
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 |
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
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
Informatik 6
Machine Learning and Reasoning
Lernen zu handeln und zu planen, Künstliche Intelligenz, Maschinelles Lernen, Planung
Universitätsprofessor Geffner, Hector | Tel.: +49 241 80 21640 Fax: +49 241 80 22219 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 | Tel.: +49 241 80 21650 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
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 |
Webseite des Forschungsbereichs
Kombinatorische Optimierung
Algorithmen auf Graphen, Optimierung unter Unsicherheiten, Optimierung im Gesundheitswesen
Universitätsprofessorin 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 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 Dr. rer. nat. Bender, Jan Stephen | 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 Professor h. c . Dr. h. c. Dr. ir. van der Aalst, Wil | 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 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 | 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 Dr. rer. nat. Borchers, Jan Oliver | 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 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 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 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 Dr. rer. nat. Kuhlen, Torsten Wolfgang | 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 Dr. sc. techn. Leibe, Bastian | Tel.: +49 241 80 20762 Fax: +49 241 80 22731 |
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 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 Dr. Trimpe, Sebastian | Tel.: +49 241 80 92051 |
Webseite des Forschungsbereichs