Skip to main content

Cheng Peng (彭程)'s Homepage

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

Contact​

  • Institute: Institute Of Software Chinese Academy of Science (ISCAS)
  • Apartment: 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