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.
Industrial Experience
-
2021.2 - 2021.7 Internship
Programming Language Lab, Huawei Technologies Co., Ltd., Hangzhou, China
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.
- Although lacking mid-end compiler optimizations, our efforts aimed to save students from outdated computer science education (even only a little bit) by rearrange the experiments of this compulsory course. Sadly, many Chinese computer science students know nothing about linux, the build system, git etc. in their third grade, not saying the ideas behind programming languages. 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