西安市科協(xié)副主席
陜西長(zhǎng)安人，生于1936年7月，1958年畢業(yè)于西北大學(xué)數(shù)學(xué)系并留校。1958年至1961年在中國(guó)科學(xué)院數(shù)學(xué)研究所進(jìn)修數(shù)理邏輯。1981年~1984年在美國(guó)馬里蘭大學(xué)計(jì)算機(jī)科學(xué)系做訪問(wèn)學(xué)者。1986年晉升為教授。1995年被中國(guó)科學(xué)院軟件研究所聘為博士生指導(dǎo)教師（1996年經(jīng)國(guó)務(wù)院學(xué)位委員會(huì)批準(zhǔn)為博士學(xué)科點(diǎn)）。歷任西北大學(xué)計(jì)算機(jī)科學(xué)系主任（1984年~1989年）、西北大學(xué)副校長(zhǎng)（1989年~1991年）、校長(zhǎng)。1989年被授予陜西省有突出貢獻(xiàn)專家稱號(hào)，1992年享受政府特殊津貼。曾兼任國(guó)家教委高校計(jì)算機(jī)科學(xué)教學(xué)指導(dǎo)委員會(huì)及計(jì)算機(jī)軟件教材編審委員會(huì)委員、中國(guó)計(jì)算機(jī)學(xué)會(huì)理事、中國(guó)計(jì)算機(jī)學(xué)會(huì)理論學(xué)組委員、中國(guó)計(jì)算機(jī)學(xué)會(huì)Petri網(wǎng)學(xué)會(huì)理事、中國(guó)微機(jī)學(xué)會(huì)理事、西安計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)、陜西省計(jì)算機(jī)學(xué)會(huì)副理事長(zhǎng)兼軟件專業(yè)委員會(huì)主任、西安市科協(xié)副主席、陜西省決策咨詢委員會(huì)委員、中國(guó)高等教育學(xué)會(huì)理事、陜西省高等教育學(xué)會(huì)理事長(zhǎng)、中國(guó)軟件行業(yè)協(xié)會(huì)理事、陜西省軟件行業(yè)協(xié)會(huì)副理事長(zhǎng)、西安市軟件行業(yè)協(xié)會(huì)理事長(zhǎng)、西安協(xié)同軟件股份有限公司董事長(zhǎng)、西安協(xié)同數(shù)碼股份有限公司董事長(zhǎng)、《計(jì)算機(jī)學(xué)報(bào)》、《軟件學(xué)報(bào)》和《純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)》編委、《微機(jī)發(fā)展》副主編等職。
