教育背景 2004年3月~2010年3月，华东理工大学，控制理论与控制工程，博士

2000年9月~2003年7月，华东理工大学，计算机技术，硕士

1985年9月~1989年7月，成都科技大学，自动控制，学士

工作履历 1993年7月至今，宁夏大学教师

1989年7月~ 1993年7月，宁夏炼油厂，助理工程师

软件方法学、形式化方法、软件工程等