导师姓名：左志宏性别：男出生年月：1966年11月 职称：教授学位：博士属性：专职电子邮件：zhzuo@uestc.e.cn学术经历：1.对

导师姓名：王晓斌性别：男出生年月：1964年09月职称：教授学位：博士属性：专职电子邮件：xbwang@uestc.e.cn学术经历：主要研究方向是程序设

导师姓名：邱会中性别：男出生年月：1964年02月职称：副教授学位：硕士属性：专职电子邮件：Hzqiu@uestc.e.cn学术经历：对数据库管理技术、软

导师姓名：文军性别：男出生年月：1966年10月职称：副教授学位：博士属性：专职电子邮件：wenjun@uestc.e.cn学术经历：2002年成都电子科

导师姓名：张建中性别：男出生年月：1956年10月职称：副教授学位：硕士属性：专职电子邮件：jianzhong@uestc.e.cn学术经历：在哈尔滨工程

导师姓名：杨义先性别：男出生年月：1961年03月特称：长江学者、杰青职称：教授学位：博士属性：兼职电子邮件：yxyang@bupt.e.cn学术经

导师姓名：杨国武性别：男出生年月：1966年11月职称：教授学位：博士属性：专职电子邮件：guowu@uestc.e.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方向：自动化推理与可信计算

导师姓名：符红光性别：男出生年月：1965年09月职称：教授学位：博士属性：专职电子邮件：fu_hongguang@hotmail.com学术经历：符

导师姓名：陈雷霆性别：男出生年月：1966年07月职称：教授学位：博士属性：专职电子邮件：richardchen@uestc.e.cn学术经历：主要研