Skip to main content

Cheng Peng (彭程)'s Homepage

I was a research intern in the group, working on OS kernel verification in Coq/Rocq. Before joining the group, I obtained a bachelor's degree in Engineering, majoring in Computer Science and Technology, from ShanghaiTech University.

Contact​

  • Institute: Institute of Software, Chinese Academy of Sciences (ISCAS)
  • Department: State Key Lab. of Computer Science (SKLCS)
  • Email: concate-pair $ pair-swap $ parse-pair $ (##prefix-common-gmail##hahalegao##)

Research interests​

  • interactive theorem proving (ITP)
  • automated theorem proving (ATP)
  • probabilistic programming
  • logic programming
  • programming with dependent type theory

Remarks​

Feel free to contact me via email or talk to me in person.