颜鹏

姓名：颜鹏

职称：专任教师

部门：计算机技术研究所

研究方向：量子计算、量子程序逻辑、量子程序验证

邮箱：yanpeng@njupt.edu.cn

个人简介：颜鹏，男，湖北随州人。本科和研究生毕业于东南大学物理系，博士毕业于悉尼科技大学。个人主要研究方向为量子计算、量子程序逻辑、量子程序验证。论文发表方面，以第一作者身份发表CCF A论文两篇。学术服务方面，担任2024和2025年度TOSEM审稿人。

科研成果：

Peng Yan, Hanru Jiang, and Nengkun Yu. (2024). Approximate Relational Reasoning for Quantum Programs. In: Gurfinkel, A., Ganesh, V. (eds) Computer Aided Verification. CAV 2024. Lecture Notes in Computer Science, vol14683. Springer, Cham.

Peng Yan, Hanru Jiang, and Nengkun Yu. 2022a. On Incorrectness Logic for Quantum Programs. Proc. ACM Program. Lang. 6, OOPSLA1, Article 72 (apr 2022), 28 pages.