Home | Reading List | Posts on Zhihu | Github |
Qinlin Chen (陈钦霖)
- Ph.D. Student.
- Pascal Research Group, Institute of Computer Software.
- Department of Computer Science and Technology, Nanjing University.
Contact:
- Office: 529, Building of Computer Science and Technology, Xianlin Campus of Nanjing University.
- Email: chenqinlin98 AT gmail DOT com.
About
I am studying for a Ph.D. degree in the Pascal Research Group at Nanjing University. I am supervised by Yue Li (李樾). I have my interest in programming languages, software reliability methods, and infrastructure systems. Currently I am focusing on applying modern PL&SE techniques to hardware descrpition languages.
Education
- Nanjing University (2020.09 - now)
- Studying for a Ph.D. Degree in Computer Science and Technology.
- Nanjing University (2016.09 - 2020.07)
- Recevied a B.S. Degree in Computer Science and Technology.
Publications
- The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. (OOPSLA’23)
- Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma and Yue Li*.
Posts
I wrote some posts on Zhihu for fun. Click here if you have any interests.
Awards & Honors
- 南京大学2020届优秀毕业生 (Outstanding Graduates Awards of Nanjing University, 2020)
- 2019年南京大学拔尖计划奖学金特等奖
- 2018年南京大学拔尖计划奖学金二等奖
- 2017年南京大学拔尖计划奖学金二等奖
Services
- Teaching Assistant:
- Static Program Analysis (Fall 2021), Nanjing University.
- Structure and Interpretation of Computer Programs (Fall 2020), Nanjing University.