王淑靈

王淑靈，女，中國科學院大學專職教師。

基本介紹

• 中文名：王淑靈
• 學位/學歷： 博士
• 職業：教師
• 性別：女

人物經歷

教育背景

2003-09--2008-07 北京大學數學科學學院 博士學位

1999-09--2003-07 蘭州大學數學系 學士學位

工作經歷

工作簡歷

2017-09~現在, 中科院軟體所計算機科學國家重點實驗室, 副研究員

2012-09~2017-09,中科院軟體所計算機科學國家重點實驗室, 助理研究員

2010-09~2012-08,中科院軟體所計算機科學國家重點實驗室, 博士後

2008-08~2010-07,聯合國大學國際軟體技術研究所, 博士後

出版信息

發表論文

（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, 通訊作者

發表著作

（1） Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, Springer, 2017-01, 第 2 作者