西安市科協副主席
陝西長安人，生於1936年7月，1958年畢業於西北大學數學系並留校。1958年至1961年在中國科學院數學研究所進修數理邏輯。1981年~1984年在美國馬里蘭大學計算機科學系做訪問學者。1986年晉升為教授。1995年被中國科學院軟體研究所聘為博士生指導教師（1996年經國務院學位委員會批准為博士學科點）。歷任西北大學計算機科學系主任（1984年~1989年）、西北大學副校長（1989年~1991年）、校長。1989年被授予陝西省有突出貢獻專家稱號，1992年享受政府特殊津貼。曾兼任國家教委高校計算機科學教學指導委員會及計算機軟體教材編審委員會委員、中國計算機學會理事、中國計算機學會理論學組委員、中國計算機學會Petri網學會理事、中國微機學會理事、西安計算機學會理事長、陝西省計算機學會副理事長兼軟體專業委員會主任、西安市科協副主席、陝西省決策諮詢委員會委員、中國高等教育學會理事、陝西省高等教育學會理事長、中國軟體行業協會理事、陝西省軟體行業協會副理事長、西安市軟體行業協會理事長、西安協同軟體股份有限公司董事長、西安協同數碼股份有限公司董事長、《計算機學報》、《軟體學報》和《純粹數學與套用數學》編委、《微機發展》副主編等職。
