吴尽昭，1965年10月生，汉族，中共党员，教授，博士研究生毕业于中科院系统科学研究所，计算机科学家与数学家，兼任中国数学会计算机代数专业委员会委员等职务1。曾任桂林航天工业学院党委副书记、院长。
吴尽昭在2022年1月担任桂林航天工业学院党委副书记、院长2。吴尽昭是德国“马普基金”获得者、中国科学院“百人计划（国外引入杰出人才）”入选者、国家首批“新世纪百千万人才工程国家级人选”、中组部中央直接联系高级专家；吴尽昭软件著作权有“IC验证平台“巨微”系统V1.0.”““巨微”集成电路等价验证系统V1.0. ”等1。
人物履历
曾任广西大学党委副书记
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广西大学副校长34
2022.01桂林航天工业学院党委副书记、院长5
主要成就
长期从事高效能高可信计算与推理理论与工具的研究和开发，研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用；在国内外学术刊物和国际会议论文集上发表研究论文107篇，出版专著3部，获得软件著作权6项，申请专利3项；近年来承担国家自然科学基金、863、973子课题等国家、省部级科研项目10余项。
社会兼职
