Department of Computer Science

Working groups

Theoretical computer science

Efficient Algorithms and Complexity Theory

Prof. Dr. Amin Coja-Oghlan, Prof. (apl.) Dr. Beate Bollig

Knowledge-Based Systems

Prof. Dr. Jean Christoph Jung

Logic and Computing: Databases, Automata, Complexity

Prof. Dr. Thomas Schwentick

Verification and Formal Guarantees of Machine Learning

Prof. Dr. Daniel Neider

Practical computer science

Computer Graphics and Geometry Processing

Prof. Dr. Mario Botsch

Databases and Information Systems

Prof. Dr. Jens Teubner

Intelligent Sensing in Computer Graphics

PD Dr. Frank Weichert

Modeling and Simulation

Prof. Dr. Peter Buchholz

Programming Systems

Prof. Dr. Bernhard Steffen

Computer Networks and Distributed Systems

Prof. Dr. Dr. Klaus-Tycho Förster

Secure Software Engineering

Jun.-Prof. Dr.-Ing. Ben Hermann

System Security

Prof. Dr. Christian Rossow

Artificial intelligence and machine learning

Artificial Intelligence

Prof. Dr. Stefan Harmeling

Data Mining

Prof. Dr. Erich Schubert

Data Science and Data Engineering

Prof. Dr. Emmanuel Müller

Human-AI interaction

Prof. Dr. Sven Mayer

Machine learning and artificial intelligence

Prof. Dr. Michael Kamp

Safe Autonomous Systems

Prof. Dr. Sebastian Peitz

Smart City Science

Junior Professor Dr. Thomas Liebig

Applied computer science

Algorithm Engineering

Prof. Dr. Kevin Buchin

Algorithmic Basics and Teaching of Computer Science

Prof. Dr. Johannes Fischer

Automated Quality Assurance

Prof. Dr. Falk Howar

Computational Intelligence

Prof. Dr. Günter Rudolph

Design Automation for Embedded Systems

Prof. Dr. Jian-Jia Chen

Enterprise Computing

Prof. Dr. Christian Janiesch

Pattern Recognition in Embedded Systems

Prof. Dr.-Ing. Gernot A. Fink

Software Engineering by Algorithms and Logic

Prof. Dr. Jakob Rehof

System Software

Prof. Dr.-Ing. Peter Ulbrich

Virtual Machining

Prof. Dr.-Ing. Petra Wiederkehr