This page is maintained for the historian scholar and computer scientists interested in the history of our computer science department at UdS.

Currently there are two entries: a short history of the department (link) and a listing of all previous – now retired – senior academic stuff, i.e. professors and junior faculty.

We adhered to the rule that for every entry they either remained here until their retirement or until their untimely passing away, while still legally with us.

That is we do not list the stuff, who followed a “Ruf” to another university or academic institution, where they will be recorded.

The listing of our previous academic stuff lists our emeriti in alphabetical order with a personal website: this website is divided into a short summary, edited by ourselves and a link to a personal website maintained by the owner of this site. This personal site contains historical documents, publication lists and other material related to the history of our department.



Prof. Günter Hotz

Prof. Dr. Dr. h.c. mult. Günter Hotz

Lehrstuhl für Angewandte Mathematik und Informatik ( 1969 – 2000)


Research Interests:
  • information theory
  • VLSI design
Universität des Saarlandes
Fachrichtung Informatik
Postfach 15 11 50
66041 Saarbrücken, Germany
e-mail: hotz@cs.uni-saarland.de


Prof. Helge Scheidig

Prof. Dr. Helge Scheidig

Lehrstuhl für Betriebssysteme


Research Interests:
  • Projekt Twinux
  • Koordinationsräume und pfadorientiertes Koordinationskonzept

Prof. Dr. Helge Scheidig
Fachrichtung 6.2 – Informatik
Universität des Saarlandes
D-66041 Saarbrücken
Tel. 0681/302-58090



 Prof. Jaques Loeckx

Prof. Jaques Loeckx

Prof. Jörg Siekmann

Prof. Dr. Jörg Siekmann

Automated Reasoning und Artificial Intelligence ( 1991 – 2006 )


Research Interests:
  • Artificial Intelligence (AI)
  • Deductions Systems
  • Unification Theory
  • e-learning for mathematics

Prof. Dr. (Ph. D.) grad. Ing. Jörg Siekmann
DFKI / CeLTech
Universität des Saarlandes
Campus D3.2
D – 66123 Saarbrücken
email: siekmann@dfki.de
Phone.: +49-681-85775-5275
mobile: 0175-290.1872



Dr. Erica Melis

Dr. Erica Melis

Principal Researcher
German Research Institute for Artificial Intelligence (DFKI)
Centre for e-Learning Technology
and associated at
Universität des Saarlandes
Computer Science Department

Research Interests:
  • Intelligent Learning Environments and Tools
  • Proof Planning
  • Case-Based Reasoning
  • Automated Deduction


Prof. Reinhard Wilhelm

Prof. Reinhard Wilhelm

Chair for Programming Languages and Compiler Construction


Research Interests:
  • Timing Analysis for Real-Time Systems
  • Static Program Analysis based on 3-valued logic, vulgo Shape Analysis
  • Compiler Construction
  • Algorithm Explanation

Universität des Saarlandes
Campus E1 3
66123 Saarbrücken
Phone: +49 (0)681 302-3434
E-Mail: wilhelm(-at-)cs.uni-saarland.de




Prof. Dr. Harald Ganzinger

Max-Planck-Institute für Informatik
Scientific Director


Research Topics:
  • Term Rewriting
  • Saturation-based Theorem Proving
    • Transitivity, Equality, first-order Theorem Proving, Redundancy and Simplification, algebraic Refinements
  • Decidable Fragments of first-order Logic
    • Constraint Logics, Word Problems, Decision Procedures, Complexity
  • Automated Complexity Analysis
    • Meta-comlexity Theorems, logic Programming with guaranteed Complexity, Complexity Analysis through Saturation