Emeriti:

 

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
Address:
Universität des Saarlandes
Fachrichtung Informatik
Postfach 15 11 50
66041 Saarbrücken, Germany
e-mail: hotz@cs.uni-saarland.de
Website:

www-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
Adress:

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

Website:

hssun5.cs.uni-sb.de

 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
Adress:

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

Website:

siekmann.dfki.de/en/home/

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
Website:

melis.cs.uni-saarland.de

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
Adress:

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

Website:

www.rw.cdl.uni-saarland.de/people/wilhelm.shtml

hg

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
Website:

people.mpi-inf.mpg.de/alumni/ag2/2011/hg/