马光胜

　　男，1944年出生，山东招远人，教授，博士生导师。任中国人工智能学会离散数学会常务理事、中国电子学会计算机应用学会CAD学组成员、黑龙江省计算机学会计算机教育委员会副主委等学术职务。1968年在吉林大学数学系计算数学专业控制论方向本科毕业，1981年在中科院北京计算技术研究所计算机应用专业获工学硕士学位。研究方向是计算机辅助工程与CIMS，从事计算机应用技术和计算机软件与理论的教学和研究工作，主要在集成电路设计自动化理论和EDA算法及工程实现，工业造型与真实感图形显示，多值逻辑应用，软件基础理论等方面开展研究工作。多年来，主持两项XXXX项目《CAD及其应用》和《新型PLD自动设计测试解析技术研究》，其中一项获部级科技进步三等奖。近几年主持国家自然科学基金项目《Boole过程论中高速ASIC设计自动化新方法研究》和省自然科学基金项目，另外主持和参与多项军、民品项目的研究工作。代表性著作有《数理逻辑引论》、《Sybase数据库基础知识和应用开发技术》等。发表论文40余篇，主要科研成果均发表在《计算机学报》、《J.of computer science & technology》、《计算机研究与发展》等国家级学报和IEEE全球年会上，并被EI、ISTP等检索。1995年获省级教学成果二等奖，1996年获省优秀教学工作者奖励