簡介
男，1944年出生，山東招遠人，教授，博士生導師。任中國人工智慧學會離散數學會常務理事、中國電子學會計算機套用學會CAD學組成員、黑龍江省計算機學會計算機教育委員會副主委等學術職務。
人物生平
1968年在吉林大學數學系計算數學專業控制論方向本科畢業，1981年在中科院北京計算技術研究所計算機套用專業獲工學碩士學位。研究方向是計算機輔助工程與CIMS，從事計算機套用技術和計算機軟體與理論的教學和研究工作，主要在積體電路設計自動化理論和EDA算法及工程實現，工業造型與真實感圖形顯示，多值邏輯套用，軟體基礎理論等方面開展研究工作。多年來，主持兩項XXXX項目《CAD及其套用》和《新型PLD自動設計測試解析技術研究》，其中一項獲部級科技進步三等獎。近幾年主持國家自然科學基金項目《Boole過程論中高速ASIC設計自動化新方法研究》和省自然科學基金項目，另外主持和參與多項軍、民品項目的研究工作。代表性著作有《數理邏輯引論》、《Sybase資料庫基礎知識和套用開發技術》等。發表論文40餘篇，主要科研成果均發表在《計算機學報》、《J.of computer science & technology》、《計算機研究與發展》等國家級學報和IEEE全球年會上，並被EI、ISTP等檢索。1995年獲省級教學成果二等獎，1996年獲省優秀教學工作者獎勵
