电子科大计算机科学与工程学院导师介绍：杨国武
导师姓名：杨国武
性别：男
出生年月：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方向：自动化推理与可信计算
【电子科大计算机科学与工程学院导师介绍：杨国武】相关文章：
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介：王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍：陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍：何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍：许伟
网友关注
- 【导师介绍】2000年中国科学院软件研究所程序设计考研试题及答案
- 【导师介绍】2001年中国科学院高等数学（丁）（A）考研试题
- 【导师介绍】1999年山东大学法学考研试题
- 【导师介绍】2000年中国科学院海洋研究所高等数学（丁）（一）考研试题
- 【导师介绍】2001年中国科学院电子学研究所普通物理考研试题
- 【导师介绍】1999年山东大学社会调查研究方法考研试题
- 【导师介绍】2000年中国科学院普通物理（乙）考研试题
- 【导师介绍】1999年山东大学社会学原理考研试题
精品推荐
- 2021考研管综逻辑300道推理题及答案（21）
- 2020考研管理类联考综合全国硕士研究生考试试题及答案（网友版）
- 2020考研管综逻辑演绎推理类型试题及答案解析（查字典考研网版）
- 2020考研管综逻辑分析推理类型试题及答案解析（查字典考研网版）
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析（查字典考研网版）
- 2020考研管理类联考初数问题求解部分试题答案及解析（查字典考研网版）
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比