Mitglieder
Prof. Dr. Helmut Schwichtenberg
o. Professor für Mathematik
III
Beirat Leibniz Rechenzentrum (Beirat Mitglied)
Ludwig-Maximilians-Universität München
Beweistheorie; Lambda-Kalkül; Theorie der Berechenbarkeit
seit 1986