馬光勝

1968年在吉林大學數學系計算數學專業控制論方向本科畢業，1981年在中科院北京計算技術研究所計算機應用專業獲工學碩士學位。研究方向是計算機輔助工程與CIMS，從事計算機應用技術和計算機軟件與理論的教學和研究工作，主要在集成電路設計自動化理論和EDA算法及工程實現，工業造型與真實感圖形顯示，多值邏輯應用，軟件基礎理論等方面開展研究工作。多年來，主持兩項XXXX項目《CAD及其應用》和《新型PLD自動設計測試解析技術研究》，其中一項獲部級科技進步三等獎。近幾年主持國家自然科學基金項目《Boole過程論中高速ASIC設計自動化新方法研究》和省自然科學基金項目，另外主持和參與多項軍、民品項目的研究工作。代表性著作有《數理邏輯引論》、《Sybase數據庫基礎知識和應用開發技術》等。發表論文40餘篇，主要科研成果均發表在《計算機學報》、《J.of computer science & technology》、《計算機研究與發展》等國家級學報和IEEE全球年會上，並被EI、ISTP等檢索。1995年獲省級教學成果二等獎，1996年獲省優秀教學工作者獎勵