Team and Contact


the Reduce bug tracker at SourceForge (external link)
for bugs and problems, if the bug tracker above is not an option
for email to all Redlog developers
for emails about this website

Senior Developers

Thomas Sturm
University of Lorraine, CNRS, and Inria, France
MPI Informatics and Saarland University, Germany

Andreas Dolzmann
Schloss Dagstuhl—Leibniz Center for Informatics, Germany


Marek Košta
Slovak Academy of Sciences


Further Contributors to the Project

M. Achatz, T. Becker, K. Burhenne, C. Hoffelner, M. Jaroschek, M. Kappert, H. Kredel, A. Lasaruk, H. Melenk, W. Neun, E. Nolden, A. Norman, R. Schöpf, A. Seidl, C. Stra├čer, V. Weispfenning, C. Zengler, and many student projects