导师代码： 10335
导师姓名： 杨国武
性别： 男
特称：

职称： 教授
学位： 工学博士学位
属性： 专职
电子邮件： guowu@uestc.edu.cn

---

学术经历： 主要从事硬件和软件协同设计的自动化的形式化证明，获得美国半导体研究合作组织、英特尔公司资助；量子计算中可逆逻辑电路的合成，获得国家自然科学基金面上项目资助；非线性控制系统的理论研究，参与中科院系统所的国家自然科学基金项目。发表论文57篇，其中SCI检索22篇，EI检索31篇，ISTP检索16篇。

---

个人简介： 1989年中国科技大学数学系毕业，2001－2005获美国波特兰州立大学电子与计算机工程博士，2006年8月至现在，电子科技大学计算机科学与工程学院，教授，博士生导师，中青年学术带头人；2005年8月-2006年8月，美国波特兰州立大学计算机科学系，副研究员；1989年7月-2001年8月，武汉理工大学数学系副教授。

---

科研项目：

---

研究成果：

---

专业研究方向： 专业名称 研究方向 招生类别
081200计算机科学与技术 01计算理论 博士
081200计算机科学与技术 02机器智能与模式识别 博士
081200计算机科学与技术 06云计算与大数据处理 博士
085400电子信息 07不区分研究方向 博士
081200计算机科学与技术 01计算理论 硕士
081200计算机科学与技术 02机器智能与模式识别 硕士
081200计算机科学与技术 06云计算与大数据处理 硕士

---