中科院成都计算机应用研究所导师介绍：吴尽昭

　　姓名：吴尽昭　性别：男　出生年月：1965年10月
　　职称：副教授　学院：中科院成都计算机应用研究所
　　研究方向：应用于集成电路、片上多核处理器、轨道列车控制系统的设计与分析
　　
　　工作和学习经历:
　　1994年7月于中科院系统科学研究所获理学博士学位(导师：吴文俊院士)，1994年9月至1996年8月在北京大学数学学院从事博士后研究(合作导师：程民德院士),1996年9月起任北京大学数学学院副教授，1997至2005年在德国Max-Planck计算机科学研究所和Mannheim大学计算机科学系任研究员，2001年起任中科院成都计算所研究员、博士生导师。
　　
　　专业领域及专长：
　　符号计算、自动推理、逻辑程序设计、复杂并发系统形式化分析与验证及其交叉、融合与应用。
　　
　　学术兼职：
　　北京交通大学兼职教授，博士生导师、兰州大学萃英讲席教授、中国数学会计算机代数专业委员会委员、教育部高校教学指导委员会计算机科学与技术分委会委员、国家自然科学奖励评审专家、国家863项目评审专家、教育部留学回国人员科研启动基金评审专家、科技部国际合作项目评审专家、四川省专家评议委员会委员。
　　
　　荣誉称号：
　　德国“马普学会奖学金”获得者（1997年），中国科学院“百人计划（国外引入杰出人才）”入选者(2000年)，国家“新世纪百千万人才工程国家级人选”(2004年)，四川省学术和技术带头人(2005年)，国务院政府特殊津贴（2006年）。
　　
　　教学情况：
　　离散数学，有限域，代数符号计算，自动推理，计算机科学中的逻辑，可计算性理论，程序语言设计，进程代数，计算机代数，人工智能，并发系统设计与验证。
　　人才培养： 指导毕业博士生15名，指导在读博士生10名，博士后1名。