Logo der Bayerischen Akademie der Wissenschaften
  1. Research hub
  2. Research projects

Research projects and institutes

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
since 1986