【校友基本情况】

　　姚兴平，出生于1982年5月，于2004年6月毕业于江西科技师范大学数学与计算机科学学院，现任上海工程技术大学高校讲师。2014年6月华东师范大学软件学院计算机应用技术专业博士毕业，上海工程技术大学讲师，上海工程技术大学计算机视觉工作站团队成员。

【校友所获荣誉】

　　工作期间，在2014年9月成为上海工程技术大学计算机视觉工作站团队成员，并在其中担任重要角色，带领大家研究计算机以及数学等方面的学科知识。研究兴趣包括：形式化方法，自动机的代数理论。主要论文发表情况如下：

　　1、弱可逆线性有限自动机的一种分解[J].计算机研究与发展，6(6):1043-1051,2009

　　2、Xinghua Yao, Min Zhang, and Yixiang Chen. A Proof System in PADS. 10th International Colloquium on Theoretical Aspects of Computing,LNCS,vol.8049,pp.391-408,2013

　　3、Xinghua Yao, Yixiang Chen. A Proof System in Process Algebra for Demand and Supply. In: Proceeding of SERE 2014, IEEE ComputerSociety,pp.228-236.2014

　　4、Xinghua Yao, Jie Zhou. A Model Language for Describing Spatio-Temporal Changes. In: Proceeding of QRS 2015