概要
1958年
毕业于西北大学
数学系并留校。1958年至1961
年在中国科
学院数学研究所进修数理逻辑。1981年~1984年在
美国马里兰大学计算机科学系做访问
学者。1986年晋升为教授。1995年被中国科学院软体研究所聘为博士生指导教师(1996年经国务院
学位委员会
批准为博士学科点)。历任西北大学计算机科学系主任(1984年~1989年)、西北大学副校长(1989年~1991年)、校长。1989年被授予
陕西省有突出贡献专家称号,1992年享受
政府特殊津贴。
任职
陕西省计算机学会副理事长兼软体
专业委员会主任、西安市科协副主席、陕西省决策谘询委员会委员、中国高等
教育学会理事、陕西省高等教育学会理事长、中国软体
行业协会理事、陕西省软体行业协会副理事长、西安市软体行业协会理事长、西安
协同软体股份有限
公司董事长、西安协同数码
股份有限公司董事长、《计算机学报》、《软体学报》和《纯粹数学与套用数学》编委、《微机
发展》副主编等职。