王淑灵 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论招生方向嵌入式系统建模与验证，交互式定理证明教育背景 2003-09--2008-07 北京大学数学科学学院博士学位 1999-09--2003-07 兰州大学数学系学士学位工作简历 2017-09~现在, 中科院软件所计算机科学国家重点实验室, 副研究员 2012-09~2017-09,中科院软件所计算机科学国家重点实验室, 助理研究员 2010-09~2012-08,中科院软件所计算机科学国家重点实验室, 博士后 2008-08~2010-07,联合国大学国际软件技术研究所, 博士后发表著作（1） Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, Springer, 2017-01, 第 2 作者科研项目（ 1 ）面向程序验证的自动定理证明理论、方法与工具研究, 参与, 国家级, 2018-01--2022-12 （ 2 ）多异质嵌入式系统的建模、仿真与验证研究, 主持, 国家级, 2020-01--2023-12

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Automatically Generating SystemC Code from HCSP Formal Models, ACM Transactions on Software Engineering and Methodology, 2020, 第 3 作者（2） Formal verification of quantum algorithms using quantum Hoare logic, CAV, 2019, 通讯作者（3） Modelling and Verifying Communication Failure of Hybrid Systems in HCSP, The Computer Journal, 2017, 第 1 作者（4） A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems, Formal Aspects of Computing, 2017, 第 1 作者（5） Generating SystemC code from delay HCSP, APLAS, 2017, 通讯作者（6） Approximate bisimulation and discretization of Hybrid CSP, FM, 2016, 通讯作者