个人简介

教育背景 2003.3-2007.9 上海交通大学计算机系，获工学博士学位； 1995.9-2003.1 山东大学，获工学学士和硕士学位。 讲授课程 《形式化方法》 学术成果 共发表论文50余篇，其中10篇为SCI检索期刊论文。是IEICE和Elsevier等国际著名学术期刊的审稿人。出版专著一本： Publications: Book: Guoqi Li Ran Yan Yuanxun Shao and Peng Ding. “Quantitative investing systems: platform principle and dependability”. ISBN 978-7-121-25332-4. Publishing House of electronics industry. 2015.3. (in Chinese) 《量化投资系统：平台、原理和可信性》电子工业出版社出版. 2015.3.