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
| Priv.-Doz. Dr. Unger, Walter | Phone: +49 241 80 21103 | |
| Priv.-Doz. 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 Prof. 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 Prof. Dr. Ir. Katoen, Joost-Pieter | Phone: +49 241 80 21200 Fax: +49 241 80 22217 | |
| Apl. Prof. Dr. Noll, Thomas | Phone: +49 241 80 21213 Fax: +49 241 80 22217 | |
| Prof. i.R. 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 Prof. 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 Prof. Dr. Ábrahám, Erika | Phone: +49 241 80 21242 Fax: +49 241 80 22243 |
Management Science
Combinatorial Optimization, Algorithmic Game Theory, Graph- und Networkalgorithms
| Universitätsprofessorin Prof. Dr. rer. nat. Peis, Britta | Phone: +49 241 80 93392 |
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 | |
| Univ.-Prof. 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 Prof. 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 Prof. 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 Prof. Dr.-Ing. Wehrle, Klaus | Phone: +49 241 80 21400 Fax: +49 241 80 22222 | |
| Prof. 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 Prof. Dr.-Ing. Meyer, Ulrike | Phone: +49 241 80 20783 |
Computational Network Science
Network Science, Graph Mining, Complex Networks, Applied Dynamical Systems, Graph Signal Processing, Data Science
| Juniorprofessor Prof. Schaub, Michael PhD | 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
| Juniorprofessor Prof. Dr. rer. nat. Henze, Martin | Phone: +49 241 80 21459 Fax: +49 241 80 22222 |
Operating Systems
Operating Systems, Virtualization, Binary Translation, Hardware/Software Co-Design, Scheduling, Cloud Infrastructures
| Universitätsprofessor Prof. Gouicem, Redha PhD | Phone: +49 241 80 21415 |
Computer Science 5
Information Systems and Database Technology
Metadata management & databases, community information systems, engineering information systems, information retrieval and visualization
| Universitätsprofessor Prof. Dr. rer. pol. Decker, Stefan | Phone: +49 241 80 21540 Fax: +49 241 80 22321 | |
| Prof. h. c. i.R. 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 Prof. Dr. phil. Lakemeyer, Gerhard | Phone: +49 241 80 21530 Fax: +49 241 80 22321 |
Life Science Informatics
at Fraunhofer Institute for Applied Information Technology (FIT)
| Universitätsprofessor Prof. Dr. rer. nat. Berlage, Thomas | Phone: +49 241 80 21502 Fax: +49 241 80 22321 |
Cooperation Systems
at Fraunhofer Institute for Applied Information Technology (FIT)
| Universitätsprofessor Prof. Dr. Prinz, Wolfgang | 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 Prof. 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
| Juniorprofessorin Prof. Dr. rer. nat. Geisler, Sandra | Phone: +49 241 80 21508 Fax: +49 241 80 22321 |
Computer Science 6
Machine Learning and Reasoning
Learning to act and plan, artificial intelligence, machine learning, planning
| Universitätsprofessor Prof. Geffner, Hector PhD | Phone: +49 241 80 21640 Fax: +49 241 80 22219 |
Machine Learning and Human Language Technology
Speech recognition, language translation, natural language processing, pattern recognition, computer vision
| Univ.-Prof. i. R. Dr.-Ing. Ney, Hermann | Phone: +49 241 80 21600 Fax: +49 241 80 22219 | |
| Priv.-Doz. Dr. 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
| Juniorprofessor Prof. Dr. rer. nat. Morris, Christopher | Phone: +49 241 80 21650 |
Computer Science 7
Logic and Theory of Discrete Systems
Automata theory and logic, algorithmic verification and synthesis
| Universitätsprofessor Prof. Dr. rer. nat. Grohe, Martin | Phone: +49 241 80 21700 Fax: +49 241 80 22215 | |
| Univ.-Prof. i. R. Dr. rer. nat. Thomas, Wolfgang | Phone: +49 241 80 21710 Fax: +49 241 80 22215 | |
| Prof. i.R. Dr. rer. nat. Oberschelp, Walter | Phone: +49 241 80 21750 Fax: +49 241 80 22215 | |
| Apl. Prof. Dr. Löding, Christof | Phone: +49 241 80 21712 |
Mathematical Foundations of Computer Science
Logic in computer science, algorithmic game theory, computational model theory, complexity
| Universitätsprofessor Univ.-Prof. Dr. phil. Grädel, Erich | Phone: +49 241 80 21730 Fax: - |
Combinatorial Optimization
Graph algorithms, optimization with uncertainties, optimization in healthcare
| Universitätsprofessorin Prof. 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 Prof. 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 Prof. Dr. rer. nat. Bender, Jan | 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 Prof. Dr. Ir. van der Aalst, Willibrordus Martinus Pancratius | Phone: +49 241 80 21900 Fax: +49 241 80 621902 |
Learning Technologies
eLearning, instructional design, assessment and feedback
| Universitätsprofessor Prof. 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 PhD | 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 Prof. Dr. rer. nat. Borchers, Jan | 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 Prof. 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 Prof. 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 Prof. 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 Prof. Dr. rer. nat. Kuhlen, Torsten | 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 Prof. Dr. sc. techn. Leibe, Bastian | Phone: +49 241 80 20762 |
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
| Universitätsprofessor Prof. Dr. rer. nat. Hoos, Holger | Phone: +49 241 80 21451 |
Computer Science 15
Quantum Information Systems
Quantum computation, quantum programming and software, formal verification, quantum cryptography
| Universitätsprofessor Prof. Dr. rer. nat. Unruh, Dominique | Phone: +492418020184 Fax: +4924180620184 |
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 Prof. Dr. Trimpe, Sebastian | Phone: +49 241 80 92051 |