名师简介
个人简介
1958年出生,博士生导师,四川省首批跨世纪优秀人才,1998年入选为国家百千万工程一、二梯队,1999年教育部跨世纪青年骨干教师。1991年在重庆大学获计算机科学理论博士学位,1992-1993年在法国Valenciennes理工学院进行CIMS专家系统及工程演绎数据库课题的合作研究; 1995-1996访问美国马里兰大学高级计算机研究所,在著名计算机科学家Jack Minker教授指导下进行逻辑程序及演绎数据库的理论研究;1998-2000年加拿大阿尔北特大学计算机系客座教授。
同校名师
网友关注
网友关注视频