Logo der Bayerischen Akademie der Wissenschaften

Mitglieder

Prof. Dr. Helmut Schwichtenberg

o. Professor für Mathematik

III
Informatik (Projektbeirat Mitglied)
Ludwig-Maximilians-Universität München
Beweistheorie; Lambda-Kalkül; Theorie der Berechenbarkeit
seit 1986