Logo der Bayerischen Akademie der Wissenschaften
  1. Forschungs­einrichtung
  2. Forschungsvorhaben

Forschungsvorhaben und Einrichtungen

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