Senior Developers

Thomas Sturm
CNRS, Inria, and the University of Lorraine, France
MPI Informatics and Saarland University, Germany
sturm@redlog.eu

External Homepage »

Andreas Dolzmann
Schloss Dagstuhl – LZI, Germany
dolzmann@redlog.eu

External Homepage »

Developers

Marek Košta
Slovak Academy of Sciences
mkosta@redlog.eu

External Homepage »

Further Contributors

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

Contact Us

The Reduce bug tracker at SourceForge (external link) SourceForge »
Email address for bugs, if the bug tracker above is not an option bugs@redlog.eu
General email to all Redlog developers developers@redlog.eu
Email about this website www@redlog.eu