CV

Education

  • B.S. in Computer Science and Technology, Peking University, 2018 - 2022
  • Ph.D in Computer Software and Theory , Peking University, 2022 - 2027(expected)

Bio

a Ph.D student at Programming Languages Lab, School of Computer Science, Peking University