王勇
一、基本情况
王勇，男，山东临朐人，1974年6月生，副教授，硕士生导师。2006年1月毕业于北京航空航天大学计算机学院，获工学博士学位，2006年6月至今在北京工业大学计算机学院任教。2011-3~2012-3，美国伊利诺伊大学香槟分校计算机学院访问。
二、主要研究内容及方向
主要研究内容为并行与分布式计算方面的理论、关键技术与系统研制，在该领域具有20多年的研究经历。具体地，包括但不限于以下研究方向：
1. 并行计算理论：真并发的代数理论、扩展及其在系统验证中的应用；可逆计算的代数理论及其应用；量子进程代数理论及其在量子通信协议中的应用；并行博弈代数理论及其操作语义等。
2. 并行与分布式计算关键技术：对于近20年来并行与分布式计算领域的新兴计算模式有着较为深入的研究，包括面向服务的计算、网格计算、云计算、大数据系统与平台等。
3. 系统研制：先后承接20余项企事业单位委托的工程课题，有着较为丰富的工程开发经验和管理经验。
三、科研项目
近5年负责的部分科研项目包括：
1. 群体信任模型及其应用研究，北京市教委科技面上项目，负责人。
2. 可信计算若干关键技术机制的形式化验证, 北京市人才强教计划-服务北京中青年骨干培养项目，负责人。
3. 无线传感器网络技术标准体系研究，航天15所委托项目，负责人。
4. 多轴重型车辆虚拟试验运行环境与数据表现开发, 航天15所委托项目，负责人。
5. 车辆可见光目标特性模型快速生成及评估技术研究, 航天15所委托项目，负责人。
6. 起竖过程机电液压联合仿真模型封装，航天15所委托项目，负责人。
7. 车载信息系统融合设计研究, 航天15所委托项目，负责人。
8. 多轴重型车辆虚拟试验运行环境与数据表现开发, 航天15所委托项目，负责人。
9. 光电特征设计模型离散化方法研究，北京索为系统技术股份有限公司委托项目，负责人。
10. FPS全景红外周视上位机控制软件系统开发，首都科技创新券项目，负责人。
11. 地面目标战场可见光特征自适应隐身设计套件，首都科技创新券项目，负责人。
四、主要成果
1. 撰写和发表学术论文120余篇，教学研究论文8篇。
2. 申请和授权国家发明专利24项，软件著作权14项。
3. 编写4部教材，参与撰写1项国家标准，参与1项专著。
5篇代表作列表如下：
1. Yong Wang. Algebraic Laws for True Concurrency. https://arxiv.org/abs/1611.09035.
2. Yong Wang. A Calculus for True Concurrency. https://arxiv.org/abs/1703.00159.
3. Yong Wang. Truly Concurrent Process Algebra with Timing. https://arxiv.org/abs/1709.01217.
4. Yong Wang. Operational Semantics of Games. https://arxiv.org/abs/1907.02668.
5. Yong Wang. Reversible Truly Concurrent Process Algebra. https://arxiv.org/abs/1805.03575.
五、联系方式
1. 办公室：北京工业大学信息楼南楼508.
2. 电子邮件：wangy@bjut.edu.cn.
欢迎计算机及相关专业学生报考研究生。