简介
相东明，工学博士，浙江理工大学硕士生导师，副教授。2013年至2018年就读于同济大学，获博士学位。主要研究方向为软件理论与方法、模型检测、业务流程管理、服务计算等。目前主持国家自然科学基金1项，浙江省自然科学基金1项，教育部重点实验室基金2项，参与国家、省自然科学基金3项，发表学术论文20余篇。
研究领域
（1）并发软件系统的分析与验证
（2）模型检测
（3）形式化方法、Petri网理论与应用
联系方式
通讯地址：浙江理工大学25#908
办公电话：0
电子邮箱：dmxiang@zstu.edu.cn
