Department Mathematik
print


Navigationspfad


Inhaltsbereich

Dr. Chuangjie Xu

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

Email: xu[at]math.lmu.de

Sprechstunde nach Vereinbarung

Arbeitsgruppe Mathematische Logik

External personal webpage






Vorlesung im Wintersemester 2021/22

  • Executing Proofs as Computer Programs (LSF, Uni2Work)