Address

Computer Science Institute
University of Potsdam
August-Bebel-Str. 89
14482 Potsdam, Germany
Phone: +49 (0)331/ 977 3069

Research interests

Logics in computer science, especially

• ynthesis of probabilistic algorithms
• automated theorem proving
• substructural logics
• fuzzy Logic

Papers

D.Kozen, C.Kreitz, E.Richter "Automating Proofs in Category Theory", PDF, International Joint Conference on Automated Reasoning, Seattle(USA), 2006

R. Booth, E.Richter: "On revising fuzzy belief bases",
(extended version with all proofs)
Studia Logica, vol. 80, nr. 1, 2005
PDF

E.Richter: "Nonmonotonic Fuzzy Inference", PDF(PhD Thesis), 2003

R. Booth, E.Richter: "On revising fuzzy belief bases",
UAI International Conference on Uncertainty in Artificial Intelligence,
Acapulco, Mexico, 2003 PS,  PDF

E.Richter: "Nonmonotonic Inference Operators for Fuzzy Logic",
Workshop "Uncertainty and Nonmonotonic Reasoning", KR2002, Toulouse
DVI, PS

Cooperation

• Richard Booth
• Dexter Kozen
• Christoph Kreitz

Teaching (in german)

• Automata and Languages (Theoretical Computer Science I), tutorial
• Category Theory, seminar
• Computability and Complexity Theory (Theoretical Computer Science II)
• Cryptography, seminar
• Fuzzy logic, lecture
• Mathematics for Computer scientists, lecture (in Brandenburg)
• Reductive Logic, seminar

Biographical sketch

• born on March 24th, 1967 in Suhl/Thüringen
• 1985-1991 Study of Mathematics at the University of Jena
• 1991 Diploma-degree in Mathematics,
  Diploma thesis "Aktion der Heckeoperatoren auf Perioden von Spitzenformen", FSU Jena 1991, Supervisor: PD Dr. Klaus Haberland
• 1991/1992 software support and sales for Rüde&Partner Jena
• 11/92, 12/94, 11/97 my sons were born
• 10/99-03/00 tutor at Math. Dep. of University of Leipzig
• 05/00-04/03 PhD Student at the University Leipzig
• since 09/03 Research Assistant at the University Potsdam
• 2004 Doctoral degree in Natural Sciences, Supervisors: Prof. Dr. Siegfried Gottwald, Prof. Dr. Gerhard Brewka
• Winter term 06/07 Representative of Professor for Mathematics at the University of Applied Sciences Brandenburg