User Portlet

I am Yingte Xu, currently a full-time PhD student at MPI-SP in Germany. My research journey began with an interest in quantum computing and programming language theory, which gradually evolved into automated theorem proving.