Mathematics and Computer Science






Research Groups

Professors Mathematics and Computer Science

Prof. Dr. Matthias Hein, Machine Learning
Prof. Dr. Frank-Olaf Schreyer, Algebraic Geometry and Computer Algebra
Prof. Dr. Joachim Weickert, Mathematical Image Analysis

Professors Mathematics

Prof. Dr. Christian Bender, Stochastic Processes, Financial Mathematics, Monte-Carlo Methods
Prof. Dr. Michael Bildhauer, Partial Differential Equations, Variational Calculus, Geometric Analysis
Prof. Dr. Bernhard Burgeth, Mathematical Didactics: Secondary Level 1
Prof. Dr. Jörg Eschmeier, Operatortheory, Fredholm- und Index-Theory
Prof. Dr. Martin Fuchs, Partial Differential Equations, Variational Calculus, Mathematical Physics
Prof. Dr. Mark Groves, Partial Differential Equations, Water waves
Prof. Dr. Silke Ladel, Mathematical Didactics: Primary Level
Prof. Dr. Anselm Lambert, Mathematical Didactics: Secondary Level 1 and 2
Prof. Dr. Vladimir Lazić, Algebraic and Complex Geometry
Prof. Dr. Dr. h.c. mult. Alfred Louis, Inverse Problems, Computer Tomography
Prof. Dr. Sergej Rjasanow, Numerics of Partial Differential Equations, Boltzmann Equations, Boundary Element Methods
Prof. Dr. Rainer Schulze-Pillot, Number Theory, Arithmetics of Quadratic Forms, Automorphic Forms
Prof. Dr. Thomas Schuster, Inverse Problems and their Industrial Application
Prof. Dr. Roland Speicher, Free Probability Theory, Random Matrices
Prof. Dr. Moritz Weber, Quantum Groups, Free Probability Theory, Operator Algebras
Prof. Dr. Gabriela Weitze-Schmithüsen, Number Theory and Algebra
Prof. Dr. Henryk Zähle, Mathematical Statistics, Insurance Mathematics

Professors Computer Science

Prof. Dr. Michael Backes, Information Security and Cryptography
Prof. Dr. Markus Bläser, Computational Complexity
Prof. Dr. Vera Demberg, Models of Human Language Processing and their Application to Dialogue Systems
Prof. Dr. Jens Dittrich, Information Systems
Prof. Dr. Peter Druschel, Distributed Systems
Prof. Dr. Bernd Finkbeiner, Reactive Systems
Prof. Paul Francis, Privacy
Prof. Dr. Sebastian Hack, Programming
Prof. Dr. Volkhard Helms, Bioinformatics
Prof. Dr.-Ing. Thorsten Herfet, Telecommunications
Prof. Dr. Holger Hermanns, Dependable Systems and Software
Prof. Dr. Joachim Hertel, Software
Prof. Dr. Jörg Hoffmann, Foundations of Artificial Intelligence
Prof. Dr. Dr. h.c. mult. Günter Hotz, Emeritus
Prof. Dr. Andreas Keller, Clinical Bioinformatics
Prof. Dr. Dietrich Klakow, Spoken Language Systems
Prof. Dr. Antonio Krüger, Ubiquitous Media Technologies
Prof. Dr. Thomas Lengauer, Computational Biology and Applied Algorithmics
Prof. Dr. Hans-Peter Lenhof, Bioinformatics
Prof. Rupak Majumdar, Computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems
Prof. Dr. Tobias Marschall, Algorithms for Computational Genomics
Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn, Algorithms and Complexity
Prof. Dr. Joel Ouaknine, Automated verification of real-time, probabilistic, and infinite-state systems
Prof. Dr. Dr. h.c. Wolfgang J. Paul, Computer Architecture and Parallel Computing
Prof. Dr. Manfred Pinkal, Computational Linguistics
Prof. Dr. Jan Reineke, Real-time and Embedded systems
Prof. Dr. Christian Rossow, System Security
Prof. Dr. Bernt Schiele, Computer Vision and Multimodal Computing
Prof. Dr. Günter Schmidt, Operations Research and Business Informatics
Prof. Dr. Raimund Seidel, Theoretical Computer Science
Prof. Dr. Hans-Peter Seidel, Computer Graphics
Prof. Dr. Jörg H. Siekmann, Artificial Intelligence
Prof. Dr. Philipp Slusallek, Agents and Simulated Reality
Prof. Dr. Gert Smolka, Programming Systems
Prof. Dr. Christoph Sorge, Legal Informatics, IT Security and Privacy
Prof. Dr. Jürgen Steimle, Embodied Interaction
Prof. Dr. Christian Theobalt, Graphics, Vision and Video
Prof. Dr. Hans Uszkoreit, Computational Linguistics
Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster, Artificial Intelligence
Prof. Dr. Christoph Weidenbach, Automation of Logic
Prof. Dr. Gerhard Weikum, Databases and Information Systems
Prof. Dr. Dr. h.c. mult. Reinhard Wilhelm, Programming Languages and Compiler Construction
Prof. Dr. Verena Wolf, Modeling and Simulation
Prof. Dr. Andreas Zeller, Software Engineering

Junior Faculty Computer Science

Dr. Jasmin Christian Blanchette, Automated Reasoning, Automatic Theorem Provers, Higher-Order Logic
Dr. Björn Brandenburg, Real-Time Systems
Dr. Andreas Bulling, Perceptual User Interfaces
Dr. Eva Darulová, Programming languages, software verification, approximate computing
Dr. Holger Dell, Foundations of Exact Algorithms
Dr. Piotr Didyk, Perception, Display, and Fabrication
Dr. Derek Dreyer, Type Systems and Functional Programming Group
Dr. Mario Fritz, Scalable Learning and Perception
Dr. Deepak Garg, Computer security and privacy, formal logic, programming languages
Dr. Krishna Gummadi, Networked Systems Research Group
Dr. Alexis Heloir, Sign Language Synthesis and Interaction
Dr. Martin Hoefer, Dynamic Coordination in Large Networks
Dr. Helmut Horacek
Dr. Olga Kalinina, Computational Biology and Applied Algorithmics
Dr. Andreas Karrenbauer, Integer Programming, Combinatorial Optimization, Applied and Industrial Discrete Optimization
Dr. Matthias Klusch, Agents and Simulated Reality
Dr. Christoph Lenzen, Theory of Distributed Computing
Dr. Erik Jan van Leeuwen, Algorithms
Dr. Pauli Miettinen, Algorithmic Data Analysis
Dr. Karol Myszkowski, Computer Graphics
Dr. Manuel Gomez Rodriguez, Methods for the analysis and modeling of large real-world networks
Dr. Michael Sagraloff, Algebraic Geometry, Non-Linear Computational Geometry
Dr. Marcel Schulz, High-Throughput Genomics and Systems Biology
Dr. Ingmar Steiner, Speech Synthesis and 3D Models of Articulation
Dr. Thomas Sturm, Automated Reasoning and Nonlinear Arithmetic
Dr. Viktor Vafeiadis, Programming Languages and Verification
Dr. Jilles Vreeken, Exploratory Data Analysis

Research Groups


Legal Notice
Saarland University
Faculty MI – Mathematics and Computer Science
66123 Saarbruecken

Postal address:
Postfach 15 11 50
66041 Saarbruecken