Profile

Basics

Nairen Zhang (张乃仁)

• Institute: Pascal Research Group, Institute of Computer Software, School of Computer Science, Nanjing University.

• Office: Room 327, Building of Computer Science and Technology, Nanjing University.

• ORCID: 0009-0004-3737-8768

• Email: nairen@smail.nju.edu.cn

Education

• Nanjing University (2024.09 - )

  Studying for a Ph.D. Degree in Computer Science and Technology.

  Supervised by Assoc. Prof. Yue Li.

• Nanjing University (2020.09 - 2024.07)

  Conferred a B.Sc. Degree in Computer Science and Technology.

Publications

• OOPSLA’23

  The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

  Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma and Yue Li*

  Distinguished Artifact Award

Honors

• Bachelor’s Thesis Award of Nanjing University, 2024.