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