A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 

max planck institut
informatik

Homepage

Harald Ganzinger (1950 - 2004)

Max-Planck-Institut für Informatik
Scientific Director

Prof. Dr. Harald Ganzinger died on June 3, 2004 after a long and serious illness.

If you are interested in Harald Ganzingers work, please contact:

Prof. Dr. Christoph Weidenbach
Campus E1 4, Room 612 (Building E1 5)
66123 Saarbrücken
Germany

Email: Get my email address via email
Phone: +49 681 9325 900
Fax: +49 681 9325 999

---

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

---

Publications

---

• See DBLP

---

Slides

---

• Talk on Semantic and Proof-Theoretic Criteria for PTIME Uniform Word Problems, LICS, June 2001, Boston
• Talk on meta-complexity theorems for bottom-up logic programs, PADOII, May 2001, Aarhus
• Invited Talk at POPL 2001, London (pdf file)
• Tutorial Rewrite Techniques in Theorem Proving

---

Provers

---

• The Saturate System: an experimental prover for first-order logic over transitive relations
• SPASS: a high-performance prover for first-order logic with equality
  Try WebSPASS!

---

Activities

---

• Harald Ganzinger has been member of the editorial board of the following journals:
  • Journal of Automated Reasoning
  • Theory of Computing Systems (formerly Mathematical Systems Theory)
  • Discrete Mathematics and Theoretical Computer Science

• Harald Ganzinger has been member of the Program Committees of the following recent Conferences:
  • RTA 2003, Valencia, Spain, June 9-11, 2003
  • LICS 2003, Ottawa, Canada, June 22-25, 2003
  • CADE 2003, Miami, Florida, July 28 - August 2, 2003
  • CSL/KGC 2003, Vienna, Austria, August 25-30, 2003
  • LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003
  • LICS 2004, Turku, Finland, July 13-17, 2004 (colocated with ICALP'04)

• Workshop of Programming Logics in Memory of Harald Ganzinger:
• Workshop
• Pictures, including some old pictures of Harald

---

Former Students

---

Penny Anderson, Lafayette College Abdelwaheb Ayari, University Freiburg Werner Backes, Stevens Institute of Technology Peter Barth, Fachhochschule Wiesbaden David Basin, ETH Computer Science Hubert Baumeister, Technical University of Denmark Peter Baumgartner, Australian National University Alexander Bockmayr, FU Berlin Richard Booth, Mahasarakham University Christof Brinker Witold Charatonik, University of Wroclaw Giorgio Delzanno, Università di Genova Yannis Dimopoulos, University of Cyprus Thorsten Engel <thorsten.engel@sap-ag.de>, SAP Friedrich Eisenbrand, EPFL Lausanne Detlef Fehrer, SICK AG Waldkirch Matthias Fischmann, Humboldt-Universität zu Berlin Stefan Friedrich, Universität Freiburg Lilia Georgieva, Heriot-Watt University Jörn Freiheit Peter Graf <peter.graf@mpi-sb.mpg.de> Michael Hanus, Christian-Albrechts-Universität zu Kiel Thomas Hillenbrand Jörg Hoffmann, Universität Innsbruck Jörn Hopf Malte Hübner, Universität Mannheim Sajjad Syed Hussain Ullrich Hustadt, University of Liverpool Carsten Ihlemann Swen Jacobs Florent Jacquemard <florent.jacquemard@trusted-logic.fr> Manfred Jaeger, Aalborg University Georg Jung, Kansas State University Thomas Kasper <kasper@mpi-sb.mpg.de> Yevgeny Kazakov, University of Oxford Enno Keen <keen@mpi-sb.mpg.de> Konstantin Korovin, University of Manchester Ramesh Kumar < Chin Soon Lee Peter Leven, Universität Freiburg Peter Madden Patrick Maier, University of Edinburgh Alexander Malkis,

Petr Matousek, Seán Matthews Stefan Maus, Universität Freiburg Christoph Meyer, University of Salzburg Supratik Mukhopadhyay, West Virginia University Hans de Nivelle, University of Wroclaw Andreas Nonnengart, DFKI Hans Jürgen Ohlbach, Ludwig-Maximilians-Universität München Virgile Prevosto Ruzica Piskac, EPFL Lausanne Solofo Ramangalahy Madala R. K. Krishna Rao Stefan Ratschan, Academy of Sciences of the Czech Republic Anya Romina Andrey Rybalchenko, Ina Schaefer, Technische Universität Kaiserslautern Renate A. Schmidt, University of Manchester Christian Schmolzi < Mohammed Nassim Seghir, Universität Freiburg Zhikun She, Beihang University Ashish Singh Viorica Sofronie-Stokkermans Gernot Stenz, Technische Universität München Georg Struth, University of Sheffield Jürgen Stuber, LORIA Campus Scientifique Jean-Marc Talbot, Université de Provence Christian Theobalt, Max Planck Institute for Informatics Andreas Tönne < Leon van der Torre, Centrum voor Wiskunde en Informatica Miroslava Tzakova < Margus Veanes, Luca Viganò, li> Sergei Vorobyov, Uppsala Universitet Silke Wagner Uwe Waldmann, Max Planck Institute for Informatics Christoph Weidenbach, Max Planck Institute for Informatics Emil Weydert, University of Luxembourg Thomas Wies, Universität Freiburg Jinzhao Wu, Universität Mannheim Frank Zartmann

• Harald Ganzinger:
• Research Topics
• Publications
• Slides
• Provers
• Activities
• Former Students