个人经历 1982年四川大学数学系获得硕士学位，1983.1-1985.6 在美国南加利福尼亚大学作访问学者，与S.Ginsburg. 合作，研究object history(时态数据库模型之一)。1986.6任副教授,1992.6任教授,2002任博士生导师。