基本信息
应明生  男  博导  中国科学院软件研究所
电子邮件: mingshengying@gmail.com
通信地址: 北京市海淀区中关村南四街4号
邮政编码:
部门/实验室:计算机科学国家重点实验室

研究领域

   

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
量子程序验证,量子计算

教育背景

2010-01--University of Technology, Sydney   Doctor of Science
学历
   
学位
   

工作经历

   
工作简历
2016-11~现在, 中国科学院软件研究所, 教授,学术副所长
2010-01~现在, University of Technology, Sydney, Doctor of Science
2008-09~现在, University of Technology, Sydney, Distinguished Professor
1998-03~2008-09,清华大学, 教授
1996-11~1998-02,南京航空航天大学, 教授
1989-09~1996-10,江西师范大学, 教师
1985-08~1989-08,抚州师范专科学校, 教师
1981-09~1985-07,江西省宜黄县第一中学, 教师
社会兼职
2010-01-01-今,《Artificial Intelligence》, Associate Editor
2010-01-01-今,International Fuzzy Systems Association, 副主席

教授课程

   

专利与奖励

   
奖励信息
(1) 国家自然科学二等奖(2008), 二等奖, 国家级, 2008
(2) 中国计算机学会王选奖一等奖(2007), 一等奖, 部委级, 2007
(3) 国家科学技术奖自然科学一等奖, 一等奖, 国家级, 2005
(4) 中国青年科技奖(1994), 国家级, 1994
专利成果
   

出版信息

   
发表论文
(1) An applied quantum Hoare logic, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019, 第 3 作者
(2) Algorithmic analysis of termination problems for quantum programs, Proceedings of the ACM on Programming Languages, 2018, 第 2 作者
(3) Model-checking linear-time properties of quantum systems, ACM Transactions on Computational Logic, 2014, 第 1 作者
(4) Quantum information - flow security – noninterference and access control, Proceedings of the IEEE 26th Computer Security Foundations Symposium (CSF), 2013, 第 1 作者
(5) Model-checking quantum Markov chains, Journal of Computer and System Sciences, 2013, 第 3 作者
(6) Reachability and termination analysis of concurrent quantum programs, Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR), 2012, 第 2 作者
(7) Floyd-Hoare logic for quantum programs, ACM Transactions on Programming Languages and Systems, 2011, 第 1 作者
(8) Bisimulation for quantum processes, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL), 2011, 第 3 作者
(9) A Flowchart Language for Quantum Programming, IEEE Transactions on Software Engineering, 2011, 第 1 作者
发表著作
Foundations of Quantum Programming, Morgan Kaufmann, 2016-03, 第 1 作者

科研活动

   
科研项目
( 1 ) 量子程序设计理论和方法, 主持, 部委级, 2017-01--2021-12
( 2 ) 量子程序设计的理论基础, 主持, 国家级, 2019-01--2023-12
( 3 ) 量子程序设计理论、方法与工具, 主持, 国家级, 2018-05--2023-04
参与会议
(1)Invariants of quantum programs: characterisations and generation   2017-01-15
(2)**   2014-01-01
(3)**   2012-01-01
(4)**   2011-01-01
(5)**   2010-01-01

合作情况

   
项目协作单位
   

指导学生