►个人简介董强，副教授►联系方式电话：61831595邮箱：dongq@uestc.e.cn►教育背景2002.09-2006.06，重庆大学，计算机

►个人简介陈端兵，教授►联系方式电话：13438161158邮箱：dbchen@uestc.e.cn►教育背景2003.09~2007.06华中科技

►个人简介赵继东，教授►联系方式邮箱：jdzhao@uestc.e.cn►教育背景1999年参加工作以来，历任学生辅导员、科技处处长助理、科技处副处长、科学技术发

►个人简介周涛，教授，汉族，1982年4月9日生。►联系方式邮箱：zhutouster@gmail.com►教育背景2005年6月于中国科学技术大学少年班系获物理

►个人简介叶茂，男，1973.9，教授,博士生导师，博士（香港中文大学），IEEEMember,2006教育部新世纪优秀人才支持计划获得者,第九届四川省学术与技术带头人后备人选。

►个人简介杨阳，教授►联系方式电话：028-61831703邮箱：dlyyang@gmail.com►教育经历2002-2006  

►个人简介杨国武，教授►联系方式电话：15928606207邮箱：guowuy@126.com►教育背景1989年获得中国科技大学数学系学士学位，同年在武汉理工大学数学系任教。1999年获得武汉理工大学计算流体力学硕士学位，2005年获得美国波特兰州立大学电子与计算机工程系博士学位。2001年至2005年：美国波特兰州立大学电子与计算机工程系任教学和研究助理；2005年至2006年：美国波特兰州立大学计算机科学系,副研究员；2006年8月至今：电子科技大学计算机科学与工程学院，教授，中青年学术带头人，博士生导师。►科研方向研究专业是电子和计算机工程，主要研究方向包括：1，系统设计的形式化方法的研究和开发相关的程序包。►研究项目与美国英特尔公司CAD研究实验室合作研究了两年多，研究了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包，该项目是美国半导体研究合作组织资助的前沿高科技技术。基于广义符号轨迹赋值理论的模型检测，国家自然科学基金面上项目。2，量子计算与量子信息的研究：量子计算中可逆逻辑电路的合成,国家自然科学基金面上项目。3、可逆逻辑电路的分类和多值量子逻辑电路的综合，国家自然科学基金面上项目。4、非线性控制系统的理论研究。研究合作单位有：美国英特尔公司CAD研究实验室，美国波特兰州立大学电子与计算机工程系和计算机科学系，清华大学软件学院，中科院系统所等。在国内外发表论文80多篇，其中SCI收录近40篇，EI收录40多篇。

►个人简介杨波，1973年生，博士、教授、博士生导师，电子科技大学协同自主计算实验室常务副主任。►教育背景分别于1995年、1998年于西安交通大学获得工学学士、工学硕士

►个人简介肖鸣宇，教授►联系方式邮箱：myxiao@gmail.com►教育背景2008年，计算机博士，香港中文大学（TheChineseUnivers