一、个人简介

郭煦，男，1979年3月生，汉族，辽宁沈阳人，博士，副教授，上海电机学院硕士生导师。

二、主要学习与工作经历

2005.3-至今 上海电机学院 助教、讲师、副教授

三、代表性科研成果

Xu Guo. " Fairness analysis of extra-gain guilty of a non-repudiation protocol." Frontiers of Information Technology & Electronic Engineering, 2022.

Xu Guo. " Performance analysis of Israeli-Jalfon’s algorithm using probabilistic model checking." Concurrency and computation-practice & experience, 2019.

上海市教委机关办公自动化系统。

四、主要社会学术团体兼职

CCF会员，Software Quality Journal，International Journal of Intelligent Information Systems，International Conference on Systems and Informatics等国际期刊和会议审稿人。

五、主要研究方向

软件形式化分析与验证、云计算

六、联系方式

guox@sdju.edu.cn