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