個人簡介
北京大學計算機科學技術研究所教授、博士生導師。
主要業績
1957年畢業於北京大學數學力學系計算數學專業,1964-1966年從事DJS21計算機ALGOL60語言的編譯程式,為主要承擔者,該系統是最早及直正實用的高語言編譯系統之一,被更入“中國計算機工業發展簡史”及“中國計算機行業大事年表”。1975年起承擔了國產計算機雷射漢字照排系統大型欠件的全部設計並負責實現。1985年該系統通過國家鑑定並迅速得到推廣套用,目前已占據了國內99%的市場,引發了我國印刷業“告別鉛與火、迎來光與電”的一場深刻的技術革命,並打入香港、`澳門、台灣、美國、日本等國家和地區的華文出版業市場。近年來主要研究標準通用置標語言SGML的中文化及其實用系統,以及電子傳送軟體,目前都已有階段性成果。二十餘年來為我國的印刷出版來進步,以及以計算機技術改造傳統產業做出了重大貢獻,負責研製的華光高性能書版和科技版軟體獲1987年北京地區優秀軟體一等獎,1983年被評為“全國三八紅旗手”1987年和1995年兩次獲國家科技進步一等獎,1990年獲陳嘉庚技術科學獎,1997年獲畢升獎。