
吴尽昭,男,汉族,1965年10月出生,中共党员,教授,中科院成都信息技术有限公司研究员,计算机科学家与数学家。现任桂林航天工业学院党委副书记、校长。
1988年毕业于兰州大学计算机系,1991年获兰州大学计算机系硕士学位,1994年获中科院系统科学研究所理学博士学位,1996年获北京大学数学学院信息科学系博士后学位,1996年7月至12月任北京大学数学学院信息科学系副教授,1997年至1998任美国Texas A&M大学电子工程系研究助理,1998年1月至1999年12月任德国Max-Planck计算机科学研究所研究员,2000年1月至2005年12月任德国Mannheim大学计算机科学系科学雇员/客座教授,200年4月至2006年7月任中科院成都计算机应用研究所研究员/博士生导师,2006年7月至2007年7月任电子科技大学教授/博士生导师,2007年7月至2009年9月任北京交通大学教授/博士生导师,2009年9月至2017年11月任广西民族大学副校长。2017年12月任广西大学副校长。
长期从事高效能高可信计算与推理理论与工具的研究和开发,研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用;在国内外学术刊物和国际会议论文集上发表研究论文107篇,出版专著3部,获得软件著作权6项,申请专利3项;近年来承担国家自然科学基金、863、973子课题等国家、省部级科研项目10余项。兼任北京交通大学、中科院成都计算所博士生导师;教育部高校教学指导委员会计算机科学与技术分委会委员、中国数学会计算机代数专业委员会委员、四川省专家评议委员会委员、广西计算机学会副理事长、广西政协理论研究会常务理事、国家自然科学奖励评审专家、科技部863及国际合作项目评审专家、教育部留学归国人员科研基金评审专家。