基本信息
李杨佳 男 硕导 中国科学院软件研究所
电子邮件： yangjia@ios.ac.cn
通信地址： 中关村南四街4号中科院软件所
邮政编码：
电子邮件： yangjia@ios.ac.cn
通信地址： 中关村南四街4号中科院软件所
邮政编码：
招生信息
招生专业
081202-计算机软件与理论
招生方向
量子计算，形式化方法
教育背景
2008-07--2014-07 清华大学 博士
2004-08--2008-07 清华大学 本科
2004-08--2008-07 清华大学 本科
工作经历
工作简历
2019-10~现在, 中国科学院软件研究所, 副研究员
2017-05~2019-10,中国科学院软件研究所, 助理研究员
2014-12~2017-05,中国科学院软件研究所, 博士后
2014-07~2014-12,中国科学院数学与系统科学研究院, 访问学者
2017-05~2019-10,中国科学院软件研究所, 助理研究员
2014-12~2017-05,中国科学院软件研究所, 博士后
2014-07~2014-12,中国科学院数学与系统科学研究院, 访问学者
教授课程
离散数学
出版信息
发表论文
[1] Ying, Mingsheng, Zhou, Li, Li, Yangjia, Feng, Yuan. A proof system for disjoint parallel quantum programs. THEORETICAL COMPUTER SCIENCE[J]. 2022, 897: 164-184, http://dx.doi.org/10.1016/j.tcs.2021.10.025.
[2] 李杨佳. 带期望的量子关系霍尔逻辑. ICALP. 2021, [3] Liu Junyi, Zhan Bohua, Wang Shuling, Ying Shenggang, Liu Tao, Li Yangjia, Ying Mingsheng, Zhan Naijun. Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. COMPUTER AIDED VERIFICATION, CAV 2019, PT II[J]. 2019, 11562: 187-207, [4] Ma, Xiao, Li, Yangjia, Song, Jiaxing. A stable auxiliary differential equation perfectly matched layer condition combined with low-dispersive symplectic methods for solving second-order elastic wave equations. GEOPHYSICS[J]. 2019, 84(4): T193-T206, https://www.webofscience.com/wos/woscc/full-record/WOS:000480678900062.
[5] 李杨佳. 量子程序终止问题的算法分析. POPL. 2018, [6] Xue, Bai, Mosaad, Peter Nazier, Fraenzle, Martin, Chen, Mingshuai, Li, Yangjia, Zhan, Naijun, Abate, A, Geeraerts, G. Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017)null. 2017, 10419: 281-299, [7] Wang, Qiuye, Li, Yangjia, Xia, Bican, Zhan, Naijun. Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 30(1): 234-252, https://www.webofscience.com/wos/woscc/full-record/WOS:000397236700015.
[8] Wang, Qiuye, Li, Yangjia, Xia, Bican, Zhan, Naijun. Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 30(1): 234-252, https://www.webofscience.com/wos/woscc/full-record/WOS:000397236700015.
[9] Yan Gaogao, Jiao Li, Li Yangjia, Wang Shuling, Zhan Naijun, Fitzgerald J, Heitmeyer C, Gnesi S, Philippou A. Approximate Bisimulation and Discretization of Hybrid CSP. FM 2016: FORMAL METHODSnull. 2016, 9995: 702-720,
[2] 李杨佳. 带期望的量子关系霍尔逻辑. ICALP. 2021, [3] Liu Junyi, Zhan Bohua, Wang Shuling, Ying Shenggang, Liu Tao, Li Yangjia, Ying Mingsheng, Zhan Naijun. Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. COMPUTER AIDED VERIFICATION, CAV 2019, PT II[J]. 2019, 11562: 187-207, [4] Ma, Xiao, Li, Yangjia, Song, Jiaxing. A stable auxiliary differential equation perfectly matched layer condition combined with low-dispersive symplectic methods for solving second-order elastic wave equations. GEOPHYSICS[J]. 2019, 84(4): T193-T206, https://www.webofscience.com/wos/woscc/full-record/WOS:000480678900062.
[5] 李杨佳. 量子程序终止问题的算法分析. POPL. 2018, [6] Xue, Bai, Mosaad, Peter Nazier, Fraenzle, Martin, Chen, Mingshuai, Li, Yangjia, Zhan, Naijun, Abate, A, Geeraerts, G. Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017)null. 2017, 10419: 281-299, [7] Wang, Qiuye, Li, Yangjia, Xia, Bican, Zhan, Naijun. Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 30(1): 234-252, https://www.webofscience.com/wos/woscc/full-record/WOS:000397236700015.
[8] Wang, Qiuye, Li, Yangjia, Xia, Bican, Zhan, Naijun. Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 30(1): 234-252, https://www.webofscience.com/wos/woscc/full-record/WOS:000397236700015.
[9] Yan Gaogao, Jiao Li, Li Yangjia, Wang Shuling, Zhan Naijun, Fitzgerald J, Heitmeyer C, Gnesi S, Philippou A. Approximate Bisimulation and Discretization of Hybrid CSP. FM 2016: FORMAL METHODSnull. 2016, 9995: 702-720,
科研活动
科研项目
（ 1 ） 量子程序设计的理论基础, 参与, 国家任务, 2019-01--2023-12
指导学生
现指导学生
徐豪辰 硕士研究生 081200-计算机科学与技术