Institutes and Chairs
Table of contents
Institute of Applied Computer Science
Institute Director: Wollschlaeger, Prof. Dr.-Ing. habil. Martin
Institute of Applied Computer Science
- Professur für Explainable Artificial Intelligence
Calandra, Prof. Dr. Roberto
· Machine Learning
· Reinforcement Learning
· Robotics and touch - Chair of Human-Computer Interaction
Weber, Prof. Dr. rer. nat. habil. Gerhard· User-centred development of multimodal and haptic user interfaces
· Navigation and new services to improve mobility of people with special needs
· Adaptation and adaptivity in time-dependent media for blind, low vision, deaf and
dyslexic people - Chair of Industrial Communications
Wollschlaeger, Prof. Dr.-Ing. habil. Martin· Real-time communication in industrial applications (wired and wireless)
· Digital Twins for production systems
· Industrial Internet of Things (IIoT)
· Data Spaces in Smart Manufacturing Systems – information modeling
· Retrofit of industrial applications as enabler for sustainable production
· Software Defined Production - Chair of Networked Systems Modeling
Sommer, Prof. Dr.-Ing. Christoph
· Simulation and modeling of networked machines· Protocol and system design of mobile, cooperative, wirelessly networked systems
· System designs of cooperative autonomous vehicles, drones, and satellites
· Reproducible research - Senior Professorship for Technical Information Systems
Kabitzsch, Prof. Dr.-Ing. habil. Klaus
· Distributed, networked automation systems (EN 17609)· knowledge based design (www.AUTERAS.de)
· component based design (re-use, interoperability)
· digital twins in building automation (ECLASS, ISO 16757)
Institute of Artificial Intelligence
Institute Director: Rudolph, Prof. Dr. rer. nat. Sebastian
Institute of Artificial Intelligence
- Professur für Explainable Artificial Intelligence
Calandra, Prof. Dr. Roberto
· Machine learning
· Reinforcement Learning
· Robotic and tactile sense - Chair of Computational Logic
Rudolph, Prof. Dr. rer. nat. Sebastian· Decidability and complexity analysis of logic formalisms
· Semantic Technologies, Logic-based Knowledge Representation
· Ontological Modeling
· Formal Concept Analysis
· Database Theory
- Chair of Machine Learning for Computer Vision
Andres, Prof. Dr. Björn
· Machine Learning (Clustering, Graphical Models)
· Computer Vision (Multiple Object Tracking, Deformable Object Recognition,
Image Segmentation, Biomedical Image Analysis)
· Applied Mathematics (Combinatorial Optimization) -
Software Engineering for Product Virtualization
Roller, Prof. Dr. Sabine· Programming and data models for the efficient use of current and future hardware in
High Performance Computing (HPC), HPC competence center of DLR· Software frameworks for large-scale multiphysics analyses and optimizations based
on high-fidelity simulations and first-principles.· Software methods and technologies for the description and use of the Virtual Product
(data analytics, surrogate models, integration platform, software security, simulation-
based certification) - Chair of Scientific Computing for Systems Biology
Sbalzarini, Prof. Dr. sc. techn. Ivo F.· Computer simulation of living systems
· Particle methods for numerically solving partial differntial equations
· Data-driven modeling and model inference from data
· Machine Learning in biology and medicine
· Bio-image informatics and 3D image data science
· Parallel high-performance computing for numerical simulations
· Systems biology and computational biology
- Chair of Knowledge Representation and Reasoning
N.N.· Logic and Logic Programming
· Knowledge Representation and Inference
· Connectionist Systems
· Human Reasoning
· Cognitive Science
- Young Investigator Group for Logic Programming and Argumentation
Gaggl, Dr. techn. Sarah A.· Logic Programming in particular Answer Set Programming
· Exploration of large solution spaces· Argumentation Theory
Institute of Software- and Multimedia-Technology
Institute Director: Dachselt, Prof. Dr.-Ing. Raimund
Institute of Software- and Multimedia-Technology
- Chair of Computer Graphics and Visualization
Gumhold, Prof. Dr. rer. nat. Stefan· Scientific Visualization
· Immersive Analytics· Virtual Reality
· Real-time rendering
· 3D Scanning· Geometry Processing
· Explainable Machine Learning
· Pose Estimation - Chair of Media Design
Groh, Prof. Dr.-Ing. habil. Rainer· Concept and design of interactive systems
· 3D-Projection principles according to human perception
· Design methods of Human-Computer Interaction
- Chair of Multimedia Technology
Dachselt, Prof. Dr.-Ing. Raimund· Natural, multimodal human-computer interaction
· Interaction in advanced multi-device environments and Mixed Reality settings
· Interactive physical computing and tangible user interfaces
· Collaborative interaction and visualization
· Interactive data visualization beyond the desktop· Mobile data visualization
· Immersive Analytics, Augmented Reality visualization - Chair of Software Technology
Aßmann, Prof. Dr. rer. nat. Uwe· Model-driven software development (MDSD)
· Component-based software engineering (CBSE)
· Software product-line engineering (SPLE)
· Ontologie-driven software engineering (ODSD)· Software architecture for self-adaptive systems, cyber-physical systems and
collaborative robots (cobots)· Agent-based modeling with attributed grammars and bigraph-systems
· View-based software engineering (VOSE), also for equational languages (VOSIE)
· Green Software Engineering - Chair of Didactics of Informatics
Damnik, Dr. rer. nat. Gregor· Education and training of (prospective) computer science teachers
· Learning of computer science competences in and out of school
· Educational technologies
- Junior Professorship in the Design of Immersive Media (TT)
McGinity, Jun.-Prof. Dr.-Ing. Matthew· Virtual and augmented reality
· Immersive applications in psychotherapy, museums, education, art and architecture
· Perceptual presence and multisensory perception
· Creative computing
Institute of Systems Architecture
Institute Director: Lehner, Prof. Dr.-Ing. Wolfgang
Institute of Systems Architecture
- Chair of Operating Systems
Schirmeier, Prof. Dr.-Ing. Horst· Dependable system software
· Fault injection and fault-tolerance mechanisms
· Efficient OS interfaces
· Abstractions for heterogeneous architectures
- Chair of Databases
Lehner, Prof. Dr.-Ing. Wolfgang· Design and implementation of scalable, robust, and energy-efficient database
systems to analyze very large databases (Big Data Platforms)· Algorithm and data structure engineering for exploiting modern hardware
infrastructures (e.g. in-memory computing, dis-aggregated and hyper-converged
infrastructures, non-standard computing devices...)· Design of principles for querying and analyzing (semi-) structured, high-volume
document copora (generally web content) - Chair of Privacy and Security
Tschorsch, Prof. Dr. rer. nat. Florian· Privacy Enhancing Technologies,
· anonymous and unobservable communication
· data security and privacy in and by distributed systems
· Trustworthiness for the Internet of Things -
Professur für Distributed and Networked Systems
Wählisch, Prof. Dr. Matthias· Design and analysis of communication systems
· Scalable und secure communication networks
· Network architectures, algorithms, protocols
· Internet infrastructure, distributed services and applications
· Internet of Things, sensor networks, cloud, Internet measurements
- Chair of Computer Networks
N.N.· Mobile Computing
· Internet of Things
· Distributed Systems
· Delay-Tolerant Networks
· E-Learning
- Chair of Systems Engineering
Fetzer, Prof. Dr. Christof· Confidential Cloud Computing
· Application Security
-
Junior Professorship for Tactile Computing
(interdisciplinary with CeTI)
Klös, Juniorprofessorin Dr. Verena· (Self-) explainable intelligent cyber-physical systems
· self-adaptive systems
· formal modeling & verification
· HW/SW-Co-design
-
Senior Professorship of Operation Systems
Härtig, Prof. Dr. rer. nat. Hermann· Microkernel-based Operating Systems
· Systems für High Performance Computing
· Real-Time Systems, Embedded Systems
· Secure System Architectures
· Virtual-Machine Technology
· Interaction of HW/SW Architectures
Institute of Computer Engineering
Institute Director: Nagel, Prof. Dr. rer. nat.Wolfgang E.
Institute of Computer Engineering
- Chair for Compiler Construction
Castrillón, Prof. Dr.-Ing. Jerónimo· Programming methods for heterogeneous computing systems
· Domain specific languages and high-level compilers
· Code optimization (performance, energy efficiency, sustainability)
· Optimizations for emerging computing systems - Chair of Adaptive Dynamic Systems
Göhringer, Prof. Dr.-Ing. Diana· Runtime-adaptive and domain-specific computer architectures
· Communication infrastructures (Network-on-Chip)
· Design tools and System simulators / virtual platforms
· Hardware-software-codesign and runtime systems
- Chair for Processor Design
Kumar, Prof. Dr. Akash· Reconfigurable approximate computing systems
· Electronic design automation for future nano-technologies· Designing secure circuits using reconfigurable transistors
· Low-power design for embedded machine learning systems
- Chair of Computer Architecture
Nagel, Prof. Dr. rer. nat. Wolfgang E.· Software tools for the support of programming and optimization
· Programming methods and technologies for high-performance computers
· Grid-computing
· Architecture and performance analysis of high-performance computers
- Senior Chair of VLSI Design, Diagnostics and Architecture
Spallek, Dr.-Ing. habil. Rainer G.
· Circuit, Processor and System Design· Modeling and Simulation of Electronic Systems
· Test and Diagnosis of Complex Systems
· Dependability and Heterogeneous System Architectures
Institute of Theoretical Computer Science
Institute Director: Baader, Prof. Dr.-Ing. Franz
Institute of Theoretical Computer Science
- Chair for Algebraic and Logical Foundations of Computer Science
Baier, Prof. Dr. rer. nat. Christel· Formal Methods, Verification, Model Checking
· Quantitative Analysis of Probabilistic Systems
· Temporal Logic and Automata Theory
· Concurrency Theory and Coordination Languages
· Causality and Responsibility in Operational Models
- Chair for Automata Theory
Baader, Prof. Dr.-Ing. Franz· Logic in Computer Science and in Artificial Intelligence
· Explainable symbolic Artificial Intelligence
· Knowledge Representation (Description Logics, Modal and Temporal Logics)· Automated Reasoning (Term Rewriting, Unification, Constraint Solving)
· Automata Theory and its Application in Logic
- Chair for Foundations of Programming
N.N.· Theory of Automata
· Formal models for natural languages
- Chair for Knowledge-Based Systems
Krötzsch, Prof. Dr. rer. pol. Markus· Artificial Intelligence, especially symbolic and composite approaches
· Knowledge representation and reasoning
· Intelligent systems
· Knowledge management and knowledge modeling