一、基础信息个人简介：吴昊，男，博士研究生学历，现任上海海事大学信息工程学院讲师。主要从事计算机科学理论和形式化方法领域的研究，具体研究方向包括概率并发模型的等价性理论、公理系统及验证算法；量子通信系统的等价性理论及验证算法等。（一）个人基础信息性别：男职务：讲师电子邮箱：wuhao@shmtu.edu.cn（二）教育经历于上海交通大学计算机科学与技术专业，取得博士学位（直博）于华中科技大学通信工程专业，取得本科学位
