删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

广西民族大学数学与物理学院导师教师师资介绍简介-吴尽昭

本站小编 Free考研考试/2021-06-13


吴尽昭,博士,教授、中国科学院大学和广西大学博士生导师。2009年9月-2017年11月任广西民族大学副校长,2017年12月至今任广西大学党委副书记、副校长,1998至2005年在德国Max-Planck计算机科学研究所和Mannheim大学计算机科学系从事科学研究工作。计算机软件与理论专业,长期致力于高效能高可信计算与推理理论与工具的研究和开发,研究领域涉及符号计算、自动推理、逻辑程序设计及推理数据库、复杂并发系统形式化分析与验证及其交叉、融合与应用、机器学习、智能优化控制等。在《中国科学》《Acta Informatica》《Formal Aspects of Computing》《ISSAC》等国内外著名学术刊物和国际学术会议论文集上发表研究论文190余篇,出版学术专著2部,获得软件著作权18项,申请专利12项,承担国家自然科学基金、863、广西自然科学基金创新研究团队、广西科技创新重大专项等国家、省部级科研项目30余项,指导毕业博士研究生30人,博士后2人。德国马普基金获得者,中科院****(国外引进杰出人才)入选者,国家首批新世纪百千****才工程国家级人选,四川省学术和技术带头人,广西八桂****,广西优秀专家,中组部中央直接联系高级专家,国务院政府特殊津贴。

相关话题/广西民族大学 数学