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 |
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 |
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 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 |
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 |
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 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 |
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 |
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 25478 |
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 |