电子科大计算机科学与工程学院导师介绍:杨国武
![](http://img.kybimg.com/bang/images/m/icon_down.png)
导师姓名:杨国武 性别:男 出生年月:1966年11月 职称:教授 学位:博士 属性:专职
导师姓名:杨国武
性别:男
出生年月: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方向:自动化推理与可信计算
- 2020-03-21关于考研,一定要认识到的几个误区(一点经验之谈)
- 2023-06-01电子科技大学 专业面试试资料汇总(收集版)
- 2022-06-0623电子科技大学 电子科大821经济学考研经验分享——专业分130学长
- 2022-06-0623电子科技大学 MTI 翻译硕士 考研经验分享——410排名第一上岸
- 2022-06-0623电子科技大学 马克思主义 考研经验——420高分学姐(初...
- 2022-03-1619考研809 工商管理学硕已上岸经验贴
- 2022-01-1719年护理考研经验分享
- 2021-09-272017电子科大MTI经验贴
- 2021-07-11电子科技大学 计算机资料汇总 (申精!)
- 2021-06-142019电子科技大学翻译硕士MTI初复试心得