List of Research Areas
Computer Science 1
Algorithms and Complexity
Design and analysis of algorithms, especially randomized algorithms and probabilistic analysis of algorithms, combinatorial optimization, algorithms for computer networks
| Privatdozent Dr. rer. nat. Unger, Walter | Phone: +49 241 80 21103 Fax: +49 241 80 22216 | |
| Privatdozent Dr. rer. nat. Seibert, Sebastian | Phone: +49 241 80 21103 |
Theoretical Computer Science
Efficient algorithms, parameterized complexity, algorithms for hard problems, algorithmic learning theory
| Universitätsprofessor Dr. rer. nat. Rossmanith, Peter | Phone: +49 241 80 21130 |
Computer Science 2
Software Modeling and Verifcation
Model Checking, Formal Semantics, Concurrency Theory, Program Analysis, Probabilistic Computation
| Universitätsprofessor Dr. ir. Dr. h. c. (AAU) Katoen, Joost-Pieter | Phone: +49 241 80 21200 Fax: +49 241 80 22217 | |
| apl. Professor Dr. rer. nat. Noll, Thomas | Phone: +49 241 80 21213 Fax: +49 241 80 22217 | |
| Universitätsprofessor em. Dr. rer. nat. Indermark, Klaus | Phone: +49 241 80 21250 Fax: +49 241 80 22217 |
Programming Languages and Verification
Program analysis, program verification, term rewriting, automated deduction
| Universitätsprofessor Dr. rer. nat. Giesl, Jürgen | Phone: +49 241 80 21230 Fax: +49 241 80 22217 |
Theory of Hybrid Systems
Formal methods for hybrid and probabilistic systems, satisfiablility checking, SMT solving
| Universitätsprofessorin Dr. Ábrahám, Erika | Phone: +49 241 80 21242 Fax: +49 241 80 22243 |
Computer Science 3
Software Engineering
Concepts, Languages, Methods, Agility, Digitalization, Architectures, Features, Tools
| Universitätsprofessor Dr. rer nat. Rumpe, Bernhard | Phone: +49 241 80 21300 Fax: +49 241 80 22218 | |
| Universitätsprofessor i.R. Dr.-Ing. Dr. h. c. Nagl, Manfred | Phone: +49 241 80 21350 |
Software Construction
Software Processes and Process Improvement, Software Quality Assurance, Modern Software Development Approaches
| Universitätsprofessor Dr. rer. nat. Lichter, Horst | Phone: +49 241 80 21330 |
Computation in Neural Circuits
Information processing and learning in neuronal networks, high performance simulation software and related ecosystem, algorithms for neuromorphic computing
| Universitätsprofessorin Dr. rer. nat. Morrison, Abigail | Phone: +49 2461 61 9805 Fax: +49 2461 61 9460 |
Computer Science 4
Communication Systems
Development and evaluation of communication networks and distributed systems, security, mobile communication
| Universitätsprofessor Dr.-Ing. Wehrle, Klaus | Phone: +49 241 80 21400 Fax: +49 241 80 22222 | |
| Universitätsprofessor i.R. Dr. rer. nat. Dr. h. c. Spaniol, Otto | Phone: +49 241 80 21450 Fax: +49 241 80 22222 |
IT Security
Security in Mobile, Wireless, Decentralized Networks, Design and Analysis of Security Architectures for Heterogeneous Networks, Applied Cryptography, Privacy, AAA Architectures
| Universitätsprofessorin Dr.-Ing. Meyer, Ulrike | Phone: +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. | Phone: +49 241 80 21490 |
Security and Data Privacy in Industrial Networks
Security in industrial networks, Secure industrial data sharing, Privacy-enhancing technologies, Data and network security, Cyber-physical systems, Industrial Internet of Things, Industry 4.0, Critical infrastructures
| Professor als Juniorprofessor Dr. rer. nat. Henze, Martin | Phone: +49 241 80 21459 Fax: +49 241 80 22222 |
Computer Science 5
Information Systems and Database Technology
Metadata management & databases, community information systems, engineering information systems, information retrieval and visualization
| Universitätsprofessor Dr. rer. pol. Decker, Stefan | Phone: +49 241 80 21540 Fax: +49 241 80 22321 | |
| Universitätsprofessor i.R. Professor h. c. (OM) Dr. rer. pol. Jarke, Matthias | Phone: +49 241 80 21500 Fax: +49 241 80 22321 |
Knowledge-Based Systems
Artificial intelligence, knowledge representation, cognitive robotics
| Universitätsprofessor Lakemeyer, Gerhard Ph.D. | Phone: +49 241 80 21530 Fax: +49 241 80 22321 |
Life Science Informatics
at Fraunhofer Institute for Applied Information Technology (FIT)
| Universitätsprofessor Dr. Berlage, Thomas | Phone: +49 241 80 21502 Fax: +49 241 80 22321 |
Cooperation Systems
at Fraunhofer Institute for Applied Information Technology (FIT)
| Universitätsprofessor Prinz, Wolfgang Ph.D. | Phone: +49 241 80 21502 Fax: +49 241 80 22321 |
Risk Management And Decision Support
at Fraunhofer Institute for Applied Information Technology (FIT)
| Universitätsprofessor Dr. rer. nat. Rose, Thomas | Phone: +49 241 80 21507 Fax: +49 241 80 22321 |
Junior Professorship for Data Stream Management and Analysis
Data Streams, Data Stream Analysis, Data Quality, Data Ecosystems, IoT, eHealth, Industry 4.0
| Professorin als Juniorprofessorin Dr. rer. nat. Geisler, Sandra | Phone: +49 241 80 21508 Fax: +49 241 80 22321 |
Computer Science 6
Human Language Technology and Pattern Recognition
Learning to act and plan, artificial intelligence, machine learning, planning
| Universitätsprofessor Geffner, Hector | Phone: +49 241 80 21640 Fax: +49 241 80 22219 | |
| Universitätsprofessor i.R. Dr.-Ing. Ney, Hermann | Phone: +49 241 80 21600 Fax: +49 241 80 22219 | |
| Privatdozent Dr. rer. nat. Schlüter, Ralf | Phone: +49 241 80 21612 Fax: +49 241 80 22219 |
Machine learning on graphs
Machine learning on graphs (theory and applications), graph neural networks, machine learning for combinatorial optimization
| Professor als Juniorprofessor Dr. rer. nat. Morris, Christopher | Phone: +49 241 80 21640 |
Computer Science 7
Logic and Theory of Discrete Systems
Automata theory and logic, algorithmic verification and synthesis
| Universitätsprofessor Dr. rer. nat. Grohe, Martin | Phone: +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 | Phone: +49 241 80 21710 Fax: +49 241 80 22215 | |
| Universitätsprofessor em. Dr. rer. nat. Oberschelp, Walter | Phone: +49 241 80 21750 Fax: +49 241 80 22215 | |
| apl. Professor Dr. rer. nat. Löding, Christof | Phone: +49 241 80 21712 |
Mathematical Foundations of Computer Science
Logic in computer science, algorithmic game theory, computational model theory, complexity
| Univ.-Prof. Dr. phil. Grädel, Erich | Phone: +49 241 80 21601 Fax: +49 241 80 22219 |
Combinatorial Optimization
Graph algorithms, optimization with uncertainties, optimization in healthcare
| Universitätsprofessorin Dr. rer. nat. Büsing, Christina | Phone: +49 241 80 93441 |
Computer Science 8
Computer Graphics and Multimedia
Computer graphics, geometry processing, polygon meshes, rendering, geometric modeling, CAD/CAM, CAGD, visualization, interactive systems, subdivision surfaces
| Universitätsprofessor Dr. rer. nat. Kobbelt, Leif | Phone: +49 241 80 21800 Fax: +49 241 80 22899 |
Computer Animation
Computer animation, physically-based simulation (rigid bodies, deformable solids, fluids), collision detection, GPGPU, real-time rendering methods
| Universitätsprofessor Dr. rer. nat. Bender, Jan Stephen | Phone: +49 241 80 24081 |
Computer Science 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 | Phone: +49 241 80 21900 Fax: +49 241 80 621902 |
Learning Technologies
eLearning, instructional design, assessment and feedback
| Universitätsprofessor Dr.-Ing. Schroeder, Ulrik | Phone: +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 | Phone: +49 241 80 26048 |
Computer Science 10
Media Computing and Human-Computer Interaction
Human-Computer Interaction (HCI), user interfaces for audio and video, smart rooms, multitouch systems, interactive exhibits and guide systems, ubiquitous, physical, tangible, and wearable computing, personal fabrication, user interfaces for software development
| Universitätsprofessor Dr. rer. nat. Borchers, Jan Oliver | Phone: +49 241 80 21050 Fax: +49 241 80 22050 |
Computer Science 11
Software for Embedded Systems
Methods for the design and analysis of software intensive embedded systems, automotive software engineering, agile methods for embedded systems, model checking, static analysis
| Universitätsprofessor Dr.-Ing. Kowalewski, Stefan | Phone: +49 241 80 21150 |
Computer Science 12
High Performance Computing
Programming models, algorithms and software for parallel and multicore computers, Performance Tuning, Correctness Checking, Energy Efficiency
| Universitätsprofessor Dr. rer. nat. Müller, Matthias | Phone: +49 241 80 29110 Fax: +49 241 80 22134 |
Software and Tools for Computational Engineering
Algorithmic Differentiation, (Adjoint) Numerical Methods, (Combinatorial) Scientific Computing, Simulation Software Engineering, Program Analysis and Compiler Construction, (Parallel) High Performance Computing
| Universitätsprofessor Dr. rer. nat. Naumann, Uwe | Phone: +49 241 80 28920 |
Virtual Reality and Immersive Visualization
Three-dimensional, multimodal interaction techniques (haptic and acoustic interfaces), immersive visualization, algorithms for an explorative analysis of complex technical and physical processes, development of VR solutions in the areas mechanical engineering (plants, robots), simulation science, medicine (virtual surgery, regional anaesthesia, neuro-psychology)
| Universitätsprofessor Dr. rer. nat. Kuhlen, Torsten Wolfgang | Phone: +49 241 80 24783 Fax: +49 241 80 22134 |
Computer Science 13
Computer Vision
Computer Vision, Machine Learning, Visual Object Recognition, Tracking, Self-Localization, 3D Reconstruction, Vision for mobile robotics and intelligent vehicles
| Universitätsprofessor Dr. sc. techn. Leibe, Bastian | Phone: +49 241 80 20762 Fax: +49 241 80 22731 |
Computer Science 14
AI Methodology (AIM)
Artificial Intelligence, machine learning, automated reasoning, optimisation, empirical algorithmics, automatic design and analysis of AI algorithms, AI for Good, AI for All
DSME
Data Science in Mechanical Engineering
(Cross-Appointment)
Machine learning, control and systems theory, probabilistic methods, distributed and networked systems, cyber-physical systems, robotics
| Universitätsprofessor Dr. Trimpe, Sebastian | Phone: +49 241 80 92051 |