研招网 > 四川研招网 > 中科院成都计算机应用研究所 > 导师介绍

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


  姓名:吴尽昭 性别:男 出生年月: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名。

 

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭