个人简介

男，副教授，硕士研究生导师。 

研究领域：

- 程序的形式化分析和验证

- 并发程序的理论和算法。这里的并发程序包括多核程序和分布式程序

- 一致性的定义、验证和理论  

发表文章多篇，包括CCF A类和CCF B类的期刊和论文。主持国家自然科学基金青年科学基金项目一项。 

求学和工作经历：

2016 - 2018， 法国巴黎第七大学 博士后 合作导师：Constantin Enea教授

2008 - 2016， 中国科学院 软件研究所 博士 导师：林惠民 院士

2004 - 2008， 吉林大学 软件学院 学士

教学情况：

开设研究生课程《计算理论》。

开设本科课程《计算机科学导论》，《python智能数据分析》。   

科研情况

基金：

- 主持国家自然科学基金青年科学基金项目一项：基于顺序规约的可复制数据类型一致性的形式化定义与验证

- 主持校级基金一项：弱内存模型下并发数据结构的验证

论文：目前发表论文10篇。

- 王超，吕毅，吴鹏，贾巧雯: TSO 内存模型下限界可线性化的可判定性研究. 软件学报.

- Teng Long, Xintao Ren, Qing Wang and Chao Wang: Verifying the correctness of distributed systems via mergeable parallelism. SETTA 2021.

- Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri: Replication-aware linearizability. PLDI 2019. CCF A类会议

- Chao Wang, Yi Lv, Peng Wu: TSO-to-TSO linearizability is undecidable. Acta Informatica 2018. CCF C类期刊

- Chao Wang, Yi Lv, Peng Wu: Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 2018. CCF B类期刊

- Ahmed Bouajjani, Constantin Enea, Chao Wang: Checking Linearizability of Concurrent Priority Queues. CONCUR 2017. CCF B类会议

- Chao Wang, Yi Lv, Peng Wu: Decomposable Relaxation for Concurrent Data Structures. SOFSEM 2017. EI会议

- Chao Wang, Yi Lv, Peng Wu: Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM 2016. EI会议

- Chao Wang, Yi Lv, Gaoang Liu, Peng Wu: Quasi-Linearizability is Undecidable. APLAS 2015. CCF C类会议

- Chao Wang, Yi Lv, Peng Wu: TSO-to-TSO Linearizability Is Undecidable. ATVA 2015. CCF C类会议

获奖情况