个人简介

博士，副教授，硕士生导师。

教育简历

1999.09~2006.01   北京航空航天大学   计算机软件与理论专业     博士学位

1993.09~1997.07   北京石油化工学院   电气自动化专业           学士学位

工作履历

2006.06~现  在   北京工业大学计算机学院   讲师，副教授

1997.07~1999.07   齐鲁石油化工公司检修公司   助理工程师

学术兼职

无。

课程教学

1、 研究生课程《进程代数》

2、 本科生课程《计算机网络》

3、 本科生课程《计算机网络课程设计》

科研项目

先后承担10余项企事业委托项目。

荣誉和获奖

无。

代表性研究成果

在并行与并发计算理论方面取得了一些原创性成果，包括真并发的代数理论、结构化并行程序设计理论、可逆计算理论、概率计算代数理论、离散与控制的代数理论、安全进程代数、量子进程代数、Actor的代数理论、软件模式的代数理论以及基于位置的进程代数理论等。

主要论文论著

1. Yong Wang. Algebraic Theory for True Concurrency. Elsevier, Academic Press, ISBN: 978-0-443-18912-8, 2023-1-10.

2. Yong Wang. Handbook of Truly Concurrent Process Algebra. Elsevier, Morgan Kaufmann Publishers. ISBN: 978-0-443-21515-5, 2023-12-15.

3. Yong Wang, Zhengtao Jiang, Guiping Dai. Algebraic Theory of Discrete and Hybrid Control. 电子工业出版社. ISBN: 978-7-121-46693-9, 2023-12-07.

4. Yong Wang. Theory of Structured Parallel Programming. Elsevier, Morgan Kaufmann Publishers. ISBN: 978-0-443-24814-6, 2024-05-04.

5. Yong Wang. Truly Concurrent Process Algebra with Localities. Elsevier, Morgan Kaufmann Publishers. ISBN: 978-0-443-33068-1, 2024-08-23.

6. Yong Wang. The Nature of Concurrency. 北京工业大学出版社，即将出版。

7. Yong Wang. Quantum Process Algebra.  Elsevier, Morgan Kaufmann Publishers. 即将出版。