1999.07 - 2004.12 电子科技大学 计算机应用技术 博士 1993.07 - 1996.04 电子科技大学 计算机应用技术 硕士 1989.09 - 1993.07 电子科技大学 自动控制 本科

1999.07 - 2004.12 电子科技大学 计算机应用技术 博士 1993.07 - 1996.04 电子科技大学 计算机应用技术 硕士 1989.09 - 1993.07 电子科技大学 自动控制 本科

淞幸科技政务大数据平台安全管理系统，横向项目，第二负责人。 RFID类产品和系统安全性检测服务，发改委项目，第二负责人。 高可信软件构造方法研究--形式化建模与验证关键技术研究，中央高校基本科研业务费项目，第一负责人。 CNG气瓶监管系统，横向项目，第二负责人。 高可靠系统软件确保若干技术的研究，国家自然科学基金面上项目，主研。 海外设备管理应用软件，横向项目，第一负责人。 软件可信性度量和评估理论与技术研究，电子科技大学青年科技基金资助，第一负责人。 食品企业安全生产监控管理系统，横向项目，第二负责人。 网络跳频隐蔽传输，中国信息安全产品测评中心基金项目，第二负责人。 分发服务器Dispatch Server的设计与实现，第三负责人。 支持IPv6的P2P内容发布系统，第三负责人。 网络安全集成防护系统，信息产业部生产发展基金项目，主研。 网络专用服务器设备的研制与开发，主研。