Experience
Education
-
2024 MPhil
Department of Computer Science and Technology, Nanjing University, Nanjing, China - Supervisors: Prof. Xinyu Feng and Prof. Hongjin Liang.
- Worked on compiler verification and polyhedral model.
-
2021 BEng
Department of Computer Science, Nankai University, Tianjin, China - Supervisor: Prof. Gang Wang.
- Rank 3/117.
Service
Teaching Assistent
-
2025.9 - 2025.12 [ECE468/573/595] Introduction to Compilers and Translation Engineering
Purdue University -
2023.9 - 2023.12 Structure and Interpretation of Computer Programs
Nanjing University -
2022.9 - 2022.12 Structure and Interpretation of Computer Programs
Nanjing University -
2021.9 - 2022.12 Structure and Interpretation of Computer Programs
Nanjing University -
2020.9 - 2020.12 Compilation techiques
Nankai University, China - See Lab1, Lab2, Lab3, Lab4, Lab5, Utils.
- May I further refer you to Chi's comments and CSDIY from Peking University).
-
2020.9 - 2020.12 Infomation Retrieval (Princples behind search engines)
Nankai University, China
Event
-
2025 OPLSS 2025 (Great thanks to Jim and all!!)
-
2025 SSFT 2025 (Great thanks to the organizers for this formal methods workshop!)
Industrial Experience
-
2021.2 - 2021.7 Internship
Programming Language Lab, Huawei Technologies Co., Ltd., Hangzhou, China - Formalize the semantics of an open-source intermediate representation Spartan