教师个人信息表
姓名 吴尽昭 性别
本人照片
出生年月 1965-10-17 政治面貌 中共党员
籍贯 吉林扶余 职称 教授
学历 研究生 学位 理学博士
联系电话 邮政编码 530004
Email himrwujzh@aliyun.com
QQ 微信
通讯地址 南宁市大学东路100号
所在学院 校领导 导师类型 校外导师
导师类别 博士后合作导师, 博士研究生导师, 硕士研究生导师
指导学科一
门类:理学 一级学科:数学 二级学科:应用数学
指导学科二
门类:工学 一级学科:计算机科学与技术(可授工学、理学学位) 二级学科:计算机软件与理论
学习和工作经历 1984年09月-1988年07月 兰州大学数学系,本科
1988年08月-1991年07月 兰州大学数学系,硕士(导师:李廉教授)
1991年08月-1994年07月 中科院系统科学研究所,理学博士(导师:吴文俊院士)
1994年08月-1996年07月 北京大学数学学院,博士后(合作导师:程民德院士)
1996年07月-1996年12月 北京大学数学科学学院信息科学系,副教授
1997年01月-1998年01月 美国Texas A&M大学电子工程系,副研究员
1998年01月-2005年12月 德国Max-Planck计算所、mannheim大学计算机系,研究员
2001年06月-2007年10月 中科院成都计算所,研究员、博士生导师
2007年10月-2009年09月 北京交通大学计算机学院,教授、博士生导师
2009年10月-2017年11月 广西民族大学,教授,副校长
2017年12月- 广西大学,教授,党委副书记、副校长
学术兼职 中科院成都计算所、北京交通大学博士生导师
兰州大学萃英讲席教授
中国数学会计算机数学专业委员会副主任委员
广西计算机学会副理事长
广西本科计算机类教学指导委员会副主任委员
广西高教学会学位与研究生教育专业委员会理事长
主讲课程 离散数学、算法分析与设计、形式语言与自动机、进程代数、计算机数学、有限域及其应用
主要研究方向 符号计算、自动推理、形式化方法
主持(或参与)的主要科研项目 (1)数量指标约束并发系统的动作细化理论(中科院“百人计划”,2001-2004年,200万元,主持)
(2)混合性能模拟的层次化:理论与应用(国家自然科学基金,2004-2006年,23万元,主持)
(3)混合并发模型的动作细化(德国DFG,2002-2004年,15万欧元,联合主持)
(4)定理机器证明与自动推理平台(973项目,2003-2004年,10万元,子课题承担人)
(5)偏序时序逻辑及其模型检测(德国DFG,2004-2005年,15万欧元,联合主持)
(6)集成电路设计软件平台开发与形式化方法(四川省国际合作项目,2004-2005年,10万元,主持)
(7)集成电路形式验证技术及平台研发(科技部中小企业创新基金,2005-2006年,50万元,主持)
(8)集成电路形式验证平台开发(中科院西部之光,2005-2006年,30万元,主研,博士生主持)
(9)基于吴方法的形式化验证技术(973,2005-2009年,20万元,子课题承担人)
(10)IC验证技术及其软件平台开发(成都市重大科技项目,2005-2006年,70万元,主持)
(11)IC验证技术与平台(四川省科技攻关项目,2006-2007年,20万元,主持)
(12)需求验证与管理(973,2007-2010年,32万元,子课题承担人)
(13)基于代数符号计算的新型软件形式化验证技术(863,2007-2009年,77万元,主持)
(14)复杂并发系统验证的代数符号化理论方法(国家自然科学基金,2009-2011年,35万元,主持)
(15)微分半代数程序模型的等价及等价谱系(国家自然科学基金,2010-2012年,32万元,主持)
(16)嵌入式软件验证若干关键问题研究(教育部博士点基金博导类,2010-2011年,6万元,主持)
(17)现代轨道交通形式化控制与分析关键技术(广西主席基金项目,2011-2012年,20万元,主持)
(18)大规模集成电路高层次设计验证技术(广西教育厅资助项目,300万元,2011-2013年,主持)
(19)嵌入式软件协同验证与评估(广西自然科学基金,2011-2013年,5万元,主持)
(20)片上多核处理器高层次架构设计的验证理论与关键技术(广西自然科学基金创新研究团队
项目,2012-2014年,200万元,主持)
(21)广西混杂计算与IC设计分析重点实验室建设(广西科技厅,2011-2017年,690万元,主持)
(22)混杂计算与IC设计分析“八桂学者”专项(广西区人民政府,2012-2016年,800万元,主研)
(23)“八桂学者”创新平台建设(广西教育厅,2012-2015年,70万元,主研)
(24)东盟多语种信息处理研究基地建设(广西教育厅,2012-2014年,50万元,主持)
(25)广西船联网技术协同创新中心建设(广西教育厅,2013年至今,1050万元,主持)
(26)形式化方法“八桂学者”专项(广西区人民政府,2014-2018年,800万元,参与)
(27)近似形式化方法—实微分多项式进程代数(国家自然科学基金,2014-2017年,62万元,主持)
(28)半代数混杂系统形式化验证的例证法研究(国家自然科学基金,2015-2018年,36万元,主持)
(29)面向东南亚的汉语学习MOOC平台(广西科技基地和人才项目,2016年-2019年,100万元,主持)
(30)控制系统设计与验证“八桂学者”专项(广西区人民政府,2017-2021年,850万元,主持)
(31)防DPA全异步RSA安全密码芯片(广西科技创新基金重点项目,2017-2020年,450万元,主持)
(32)半代数模型检测方法的误差分析与控制(国家自然科学基金,2018-2021年,58万元,主持)
(33)北部湾船联网关键技术和应用示范(广西科技创新重大专项,2018-2020年,1000万元,主持)
取得的主要成果 长期从事高效能高可信计算与推理理论与方法的研究,研究领域涉及符号计算、自动推理、逻辑程序设计及推理数据库、复杂并发系统形式化分析与验证及其交叉、融合与应用。在《中国科学》《Acta Informatica》《Formal Aspects of Computing》《Journal of Automated Reasoning》《ISSAC》等国内外重要学术刊物和国际学术会议论文集上发表研究论文180余篇,出版学术专著2部,获得软件著作权12项,申请专利8项,承担国家自然科学基金、863、广西自然科学基金创新研究团队、广西科技创新重大专项等国家、省部级科研项目30余项,指导毕业博士研究生26人,博士后2人。德国马普基金获得者(1997年),中科院百人计划入选者(国外引进杰出人才,2000年),新世纪百千万人才工程国家级人选(2004年),四川省学术和技术带头人(2005年),广西八桂学者(2016年),广西优秀专家(2010年),中组部中央直接联系高级专家(2006年),国务院政府特殊津贴(2006年)。
数据更新日期 2018-04-10 填报责任人 吴尽昭
本信息由教师个人提供,文责自负!