基本信息
王淑灵女硕导中国科学院软件研究所
电子邮件： wangsl@ios.ac.cn
通信地址： 北京市中关村南四街4号中科院软件园区5号楼332室
邮政编码：
部门/实验室：计算机科学国家重点实验室
研究领域

招生信息
招生专业081202-计算机软件与理论

招生方向形式化方法，交互式定理证明


教育背景2003-09--2008-07北京大学数学科学学院博士学位
1999-09--2003-07兰州大学数学系学士学位

学历
学位

工作经历
工作简历2017-09~现在,中科院软件所计算机科学国家重点实验室,副研究员
2012-09~2017-09,中科院软件所计算机科学国家重点实验室,助理研究员
2010-09~2012-08,中科院软件所计算机科学国家重点实验室,博士后
2008-08~2010-07,联合国大学国际软件技术研究所,博士后
2003-09~2008-07,北京大学数学科学学院,博士学位
1999-09~2003-07,兰州大学数学系,学士学位

社会兼职

教授课程

专利与奖励
奖励信息
专利成果

出版信息
发表论文（1）Formal verification of quantum algorithms using quantum Hoare logic,CAV,2019,第11作者
（2）Modelling and Verifying Communication Failure of Hybrid Systems in HCSP,The Computer Journal,2017,第1作者
（3）A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems,Formal Aspects of Computing,2017,第1作者
（4）Generating SystemC code from delay HCSP,APLAS,2017,第11作者
（5）Approximate bisimulation and discretization of Hybrid CSP,FM,2016,第11作者

发表著作Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Springer,2017-01,第2作者


科研活动
科研项目（ 1 ） 面向程序验证的自动定理证明理论、方法 与工具研究, 参与,国家级,2018-01--2022-12

参与会议

合作情况
项目协作单位

指导学生