人物经历
1984年09月—1988年07月,兰州大学计算机系、学士;
1988年09月—1991年09月,兰州大学计算机系,硕士;
1991年09月—1994年07月,中科院系统科学研究所,理学博士;
1994年08月—1996年07月,北京大学数学学院信息科学系,博士后;
1996年07月—1996年12月,北京大学数学学院信息科学系,副教授;
1997年01月—1998年01月,美国Texas月,A&M大学电子工程系,研究助理;
1998年01月—1999年12月,德国Max月—Planck计算机科学研究所,研究员;
2000年01月—2005年12月,德国Mannheim大学计算机科学系,科学雇员/客座教授;
2001年04月—2006年07月,中科院成都计算机应用研究所,研究员/博士生导师;
2006年07月—2007年07月,电子科技大学,教授/博士生导师;
2007年07月—2009年09月,北京交通大学,教授/博士生导师;
2009年09月—2017年11月,广西民族大学副校长;
2017年11月—2022年01月,广西大学党委副书记、副校长;
2022年01月— 桂林航天工业学院院长、党委副书记(正厅长级)。[5]
学术兼职
北京交通大学兼职教授,博士生导师、兰州大学萃英讲席教授、中国数学会计算机代数专业委员会委员、教育部高校教学指导委员会计算机科学与技术分委会委员、国家自然科学奖励评审专家、国家863项目评审专家、教育部留学回国人员科研启动基金评审专家、科技部国际合作项目评审专家、四川省专家评议委员会委员。[3]
任免信息
2017年11月29日,广西壮族自治区人民政府门户网站公布一批广西领导干部任免职的通知,其中,吴尽昭同志任广西大学副校长;免去吴尽昭同志的广西民族大学副校长职务。[6]
2021年12月27日,中共广西壮族自治区委员会组织部发布干部任职前公示,其中:吴尽昭拟任区管正厅级高校正职。[7]
2022年1月11日上午,桂林航天工业学院召开教师干部会议,宣布广西壮族自治区党委任免决定:吴尽昭同志任桂林航天工业学院院长、党委副书记。[5]
工作分工
负责学校行政全面工作。主管审计工作。主管校长办公室、督查办公室、法律事务办公室、审计处。联系理学院。[8]
研究领域
长期从事高效能高可信计算与推理理论与工具的研究和开发,研究领域涉及符号计算、自动推理、逻辑程序设计及推理数据库、复杂并发系统形式化分析与验证及其交叉、融合与应用。[2]
学术成就
在《中国科学》《Acta Informatica》《Formal Aspects of Computing》《ISSAC》等国内外著名学术刊物和国际学术会议论文集上发表研究论文220余篇,出版学术专著2部,获得授权专利10项、软件著作权17项,承担国家自然科学基金、863、广西自然科学基金创新研究团队、广西科技创新重大专项等国家、省部级科研项目33项。指导毕业博士研究生32人,博士后2人。[2]
获得荣誉
参考资料:[2][3]
参考资料 8
- 广西公示潘世庆、王琛、谭向光、莫锦荣、吴尽昭、王源平6人(简历) — 中国经济网
- 【开学第一课】陶冶道德情操,砥砺意志品质,做堪当民族复兴大任的全面发展的桂航人 — 桂林航天工业学院
- 中科院成都计算机应用研究所导师介绍:吴尽昭 — 考研帮
- 现任领导 — 桂林航天工业学院官网
- 吴尽昭任桂林航天工业学院院长、党委副书记 — 人事观察工作室-今日头条
- 广西发布最新一批领导干部任免名单 — 钦北检察-今日头条
- 广西领导干部任职前公示 — 闽南网-今日头条
- 党委副书记、校长 吴尽昭 — 桂林航天工业学院