副教授，大数据管理与应用系专任教师

1994.9-1998.6, 武汉大学计算机应用专业学士

2000.9-2003.6, 武汉大学计算机软件与理论专业硕士

2003.9-2007.12，武汉大学计算机软件与理论专业博士

主要工作经历：

2007.1-2019.1, 成都东软学院科研管理部副部长

2019.1-2023.6, 成都东软学院科技成果中心主任

2023.7- 今, 信息与商务管理学院大数据管理与应用系专任教师

个人主要学术研究方向：

基于时序逻辑的程序验证方法, 大数据分析与处理技术

2007年以来主要完成科研项目:

1．软件需求形式化验证平台，四川省教育厅科技计划项目，2009

2．移动社区服务系统，成都市科技局科技计划项目，2010

3．可信软件逻辑验证方法，四川省教育厅科技计划项目，2011

4．基于世界田园城市的都江堰智慧旅游服务平台，都江堰科技局科技计划项目，2012

5．都江堰信息产业集群发展策略研究，成都市科技局软科学计划项目，2014

6．基于大数据的都江堰智慧旅游信息服务平台，都江堰科技局科技计划项目，2017

联系方式：

地址：四川省成都市都江堰市青城山东软大道1号。

邮编：611844

邮箱：yuchao@nsu.edu.cn