Jinzhao Wu, President of Guilin University of Aerospace Technology, China

吴尽昭教授，桂林航天工业学院（校长）

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