吴尽昭副校长，男，汉族，1965年10月生；中共党员，教授，北京交通大学、中科院成都计算所博士生导师；教育部高校教学指导委员会计算机科学与技术分委会委员、中国数学会计算机代数专业委员会委员、四川省专家评议委员会委员、国家自然科学奖励评审专家、科技部863及国际合作项目评审专家、教育部留学归国人员科研基金评审专家；1994年于中科院系统科学研究所获理学博士学位，1994年至1996年北京大学博士后，1997至2005年就职于德国Max-Planck计算所和Mannheim大学计算机系；2001年起任中科院成都计算所研究员、博士生导师，IC验证工程中心主任；2007年任北京交通大学教授、计算机软件与理论博士生导师；2009年9月任广西民族大学副校长。 长期从事高效能高可信计算与推理理论与工具的研究和开发，研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用；在国内外学术刊物和国际会议论文集上发表研究论文103篇，出版专著3部，获得软件著作权6项，申请专利3项；近年来承担国家自然科学基金、863、973子课题等国家、省部级科研项目10余项，至2009年指导毕业博士研究生14名；1997年获德国“马普学会奖学金”，2000年入选中科院“百人计划(国外引入杰出人才)”，2004年国家“新世纪百千万人才工程国家级人选”，2005年“四川省学术和技术带头人”，2006年获国务院政府特殊津贴专家。