吴尽昭简介

1984.09-1988.07兰州大学计算机系

1988.09-1991.09兰州大学计算机系硕士

1991.09－1994.07中科院系统科学研究所，理学博士

1994.08－1996.07北京大学数学学院信息科学系，博士后

1996.07－1996.12北京大学数学学院信息科学系，副教授

1997.01－1998.01美国TexasA&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年12月，广西大学副

2017年11月，免去吴尽昭同志的广西民族大学副校长职务。

2017年12月，吴尽昭同志任广西大学副校长；

2021年12月，拟任区管正厅级高校正职。

2022年1月，桂林航天工业学院党委副书记、院长

2022年1月17日，广西壮族自治区人民政府经研究决定：免去吴尽昭同志的广西大学副校长职务；任桂林航天工业学院院长（试用期一年）。

长期从事高效能高可信计算与推理理论与工具的研究和开发，研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用；在国内外学术刊物和国际会议论文集上发表研究论文107篇，出版专著3部，获得软件著作权6项，申请专利3项；近年来承担国家自然科学基金、863、973子课题等国家、省部级科研项目10余项。

北京交通大学、中科院成都计算所博士生导师；教育部高校教学指导委员会计算机科学与技术分委会委员、中国数学会计算机代数专业委员会委员、四川省专家评议委员会委员、广西计算机学会副理事长、广西政协理论研究会常务理事、国家自然科学奖励评审专家、科技部863及国际合作项目评审专家、教育部留学归国人员科研基金评审专家

计算机软件与理论

（1）具有数量指标约束的并发系统的动作细化理论（中科院“百人计划”，2001-2004年，主持）

（2）混合性能模拟的层次化：理论与应用（国家自然科学基金，2004-2006年，主持）

（3）混合并发模型的动作细化（德国DFG，2002-2004年，联合主持）

（4）定理机器证明与自动推理平台（973，2003-2004年，子课题承担人）

（5）偏序时序逻辑及其模型检测（德国DFG，2004-2005年，联合主持）

（6）软件开发与形式化方法（四川省外专局国际合作项目，2004-2005年，主持）

（7）集成电路形式验证技术及其软件平台“巨微”系统的研发（国家科技部中小企业创新基金，2005-2006年，主持）

（8）集成电路形式验证平台开发（中科院西部之光联合学者，2005-2006年，主研）

（9）吴方法算法芯片的研发以及基于吴方法的形式化验证技术（973，2005-2009年，子课题承担人）

（10）集

（1）德国“马普学会奖学金”（1997年）

（2）中国科学院“百人计划（国外引入杰出人才）”入选者(2000年)

（3）国家首批“百千万人才工程国家级人选”(2004年)

（4）四川省学术和技术带头人(2005年)

（5）国务院政府特殊津贴（2006年）