Profile

Basics

Nairen Zhang(张乃仁)

• Institute:
  Pascal Research Group, Institute of Computer Software,
  Department of Computer Science and Technology, Nanjing University.

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

Bio

I am currently working on Hardware Description Languages, trying to capture the essence, or nature, of hardware design. I aspire to be an efficient machine(not mindless) that converts chips, chocolates, or McDonald's into eureka moments.

Education

• Nanjing University (2024.09 - )

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

• 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

• Silver Medal in the ICPC Asian regional contest, 2021.

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