Links und Funktionen


Inhaltsbereich

Yiming Xu, PhD

I’m a postdoctoral researcher in Theoretical Computer Science and Theorem Proving at LMU Munich in Jasmin Blanchette’s research group.

You can send me email at <my first name>.<my last name>@lmu.de.

My office is room D 012, Oettingenstraße 67.

Publications

  • Dependent Typed Sorted Theorem Proving for Mathematical Foundations. Yiming Xu and Michael Norrish. 2024. Authors’ PDF
  • Mechanised Modal Model Theory. Yiming Xu and Michael Norrish. 2020. Authors’ PDF

Thesis

  • Dependent Typed Sorted Theorem Proving for Mathematical Foundations. Yiming Xu. 2024. Authors’ PDF

Artikelaktionen


Funktionsleiste