电子科大计算机科学与工程学院导师介绍：杨国武
作者：聚创电子科大考研网-小黑老师
点击量： 729
发布时间： 2011-07-04 17:09
【微信号：13306030226】
导师姓名：杨国武
性别：男
出生年月：1966年11月
职称：教授
学位：博士
属性：专职
电子邮件：guowu@uestc.edu.cn
学术经历：
主要从事硬件和软件协同设计的自动化的形式化证明，获得美国半导体研究合作组织、英特尔公司资助；量子计算中可逆逻辑电路的合成，获得国家自然科学基金面上项目资助；非线性控制系统的理论研究，参与中科院系统所的国家自然科学基金项目。发表论文57篇，其中SCI检索22篇，EI检索31篇，ISTP检索16篇。
个人简介：1989年中国科技大学数学系毕业，2001－2005获美国波特兰州立大学电子与计算机工程博士，2006年8月至现在，电子科技大学计算机科学与工程学院，教授，博士生导师，中青年学术带头人；2005年8月-2006年8月，美国波特兰州立大学计算机科学系，副研究员；1989年7月-2001年8月，武汉理工大学数学系副教授。
硕士招生专业
081202计算机软件与理论
03方向：形式化方法与编译系统
05方向：计算理论与技术
08方向：自动化推理与可信计算
以上是聚创考研网为考生整理的"电子科大计算机科学与工程学院导师介绍：杨国武"的相关考研信息，希望对大家考研备考有所帮助！
备考过程中如有疑问，也可以添加老师微信juchuang911进行咨询。
免责声明：本网站发表的部分公开资料来源于互联网，目的在于传递更多信息及用于网络分享，并不代表本站赞同其观点和对其真实性负责。聚创考研网尊重版权，如有侵权问题，请及时联系（WX：juchuang911）
