I am a PhD student at MPI-SP, fortunately supervised by Prof. Gilles Barthe. I'm interested in formal verification, especially its application to security, and, of course, like everyone nowadays, its interplay with machine learning.
I received my bachelor’s degree in 2021 and my master’s degree in 2024 from Tsinghua University. During the time, I did internships at Megvii and RealAI, and involved in Closed Social.
I was a competitive programmer during 2011-2021, winning several gold medals including NOI 2016. I was also involved in the organization of several programming competitions, including THUPC 2019-2021.
I am cynical. I co-organized a satirical public activity, Huatsing Special Ordinary Scholarship (华清大学特普通奖学金) in 2020-2021. We're mocking Special Scholarship (for the top-10 students) in Tsinghua University. Why don't ordinary students deserve to be awarded? I plan to re-set-up our official website, but I am very lazy, so for the moment, if you are interested, you can search in Chinese.
I am nerdy, honestly nerdier than ChatGPT. I am learning how to interact with people, learning the relationships, and learning to understand and take care of the emotion of myself and others. I hope one day I will have the courage and ability to interact with the world by an authentic self.
Statistics: Google Scholar.
I served as teaching assistants for the following courses at Tsinghua University:
I like teaching, for the love of knowledge and the empathy with students. I am lucky to be with a group of friends who are enthusiastic about teaching. Nevertheless, I feel a bit disillusioned about the meaning of teaching in the age of LLM, and a bit confused about the meaning of learning at the same time.
I really hope one day I will not be so lazy and write some blogs. Here are my high school blog for competitive programming and Zhihu articles in Chinese.