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.
Teaching Assistent
-
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
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