Dr. Chuangjie Xu

Mathematisches Institut

Büroadresse:

Mathematisches Institut der Universität München
Theresienstr. 39
D-80333 München

E-Mail:
xu[at]math.lmu.de

Arbeitsgruppe:
Arbeitsgruppe Mathematische Logik

Sprechstunde:

Sprechstunde nach Vereinbarung





Vorlesung im Wintersemester 2021/22

  • Executing Proofs as Computer Programs (LSF, Uni2Work)

Wonach suchen Sie?