研究员杨国武

高级讲师杨国武

闽江学者杨国武

研究员杨国武

研究方向：电子和计算机工程

教育背景

1989年7月获得中国科技大学数学系学士学位，1999年4月获得武汉理工大学计算流体力学硕士学位，2005年6月获得美国波特兰州立大学电子与计算机工程系博士学位。1989年9月至2001年8月，武汉理工大学数学系，1999年评为副教授；2001年9月至2005年6月：美国波特兰州立大学电子与计算机工程系任教学和研究助理；2005年8月至2006年8月：美国波特兰州立大学计算机科学系, 副研究员。

科研情况

研究专业是电子和计算机工程，主要研究方向包括：1，系统设计的形式化方法的研究和开发相关的程序包。他与美国英特尔公司CAD研究实验室合作研究了两年多，研究和开发了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包，该项目是美国半导体研究合作组织资助的前沿高科技技术。2，量子计算机中的合成算法的理论研究。3，非线性控制系统的理论研究。研究合作单位有：美国英特尔公司CAD研究实验室，美国波特兰州立大学电子与计算机工程系和计算机科学系，清华大学软件学院等。在国内外发表和被接受40多篇论文（其中SCI：15篇，EI：19篇）。

获奖情况

2004年获得美国波特兰州立大学Maseeh工程与计算机科学学院 Maseeh 奖学金；2002，2003连续两年获得美国波特兰州立大学Maseeh工程与计算机科学学院杰出博士研究生。

高级讲师杨国武

1960年11月生，大学文化，广西田东县职业技术学校副校长，青少年科技教育协会常务理事，高级讲师。自工作以来，他以振兴职教事业为己任，全身心地投入教书育人中。在为农民服务的工作中，为贫困地区职教事业的发展和地方经济建设作出了积极贡献。他立足本职潜心钻研，开拓进取，勤奋工作．能根据职教特点和当地生产实情，大胆教改，开辟生产实习基地。并以此托利用学校专业技术优势，带领师生开展教研与科研活动，积极参加各种科普活动，定期下乡支农，为农民排忧解难．深受欢迎，取得可喜成绩。他指导的"亚卡族治疗仔猪水肿病的效果观察"获自治区三等奖、地区一等奖，《盐水复合氨化稻草养试验》获第十一届广西青少年发明创造和科学论文比赛二等奖、地区一等奖。《田东县芒果种植生产现状调查报告》获广西第十二届青少年发明创造和科学论文竞赛二等奖、地区一等奖；其撰写的《猪的一般饲养管理原则瞰全国职教优秀教案二等奖，《浅谈农民职校生非智力因素的培养》获全国职教学会职高教研会的教学论文评选飞等奖。由于其业绩突出，曾先后被评为全国青少年生物百项活动优秀活动奖辅导教师'广西教坛明星，地区、县优秀科技辅导员，县科技工作先进个人和县先进教师等。

闽江学者杨国武

电子科技大学计算机科学与工程学院教授，电子科技大学中青年学术带头人，博士生导师。IEEE人工智能学会量子计算专委会副主席。美国波特兰州立大学电子与计算机工程系博士。 漳州师院“闽江学者”特聘教授。

主要从事量子计算中可逆逻辑电路的综合、数字系统设计的形式化验证和数字系统仿真的研究，在可逆逻辑电路综合的理论分析、算法优化上都处于世界领先水平。杨教授发现并纠正了英特尔创立的GSTE理论中的一个错误。主持开发出了基于GSTE理论的模型检测软件和一款可扩展的嵌入式硬件仿真平台。

杨教授在相关方面的研究中主持了2个国家自然科学基金项目，1个核高基重大项目的仿真模块等项目，发表60多篇学术论文，其中SCI检索30多篇。