程虎(中國科學院軟體所研究員)

程虎 1938年7月出生，江蘇常州人。中國科學院軟體研究所研究員、博士生導師。1960年畢業於北京大學數學力學係數學專業。

基本介紹

• 中文名：程虎
• 國籍：中國
• 出生日期：1938年7月
• 性別：男

基本簡介

現任中國科學院軟體研究所學術委員會委員、研究室主任、學位委員會委員。中國計算機學會學術工作委員會委員、編審工作委員會委員、人工智慧專業委員會委員；美國紐約科學院院士，國際神經網路學會會員；國際人工智慧聯合大會（IJCAI）顧問；國際刊物《ComputerStandarnds&Interfaces》編委。

主要成就

先後參加國家“七五”、“八五”和“九五”重點科技攻關項目，並主持“編譯系統開發”專題，開發過1isp語言編譯系統，FORTRAN77語言編譯系統和Java伴侶軟體。多次受到國家、電子部和中科院獎勵，“七五”和“八五”期間，還承擔軍用共性軟體課題，分別開發了三個非Ada語言（，Pasca1和Jovia1）到Ada83語言的自動轉換系統，還對Ada9X（後來成為Ada95）進行了預先研究和介紹。在人工智慧、專家系統和神經網路方面，1987－1989年和1994－1995年先後兩次分別承擔國家自然科學基金項目“智慧型計算機核心語言的研究”（批准號68673026）和“聯結機制與符號機制相結合建立專家系統的方法”（69373012）的研究。還承擔過中國菸草總公司的科研項目“優質烤菸栽培諮詢專家系統”的研製，都取得一定成果。近年又帶領博士生從事神經網路方面的研究與套用，研究成果多次在國際會議和軟體學報上發表，得到國內外同行專家的廣泛關注與認可。在開展研究開發工作的同時，為碩士研究生授課和精心培育了數十名碩士研究生和若干名博士研究生，有兩位獲得院長優秀獎學金，一位獲得億利達獎學金。他也得到華為獎教金的鼓勵。