吴尽昭,党委常委、副校长;男,汉族,1965年10月出生;中共党员,教授,北京交通大学、中科院成都计算所博士生导师;1994年于中科院系统科学研究所获理学博士学位;1994年至1996年北京大学博士后,1996年北京大学副教授,1997至2005年德国Max-Planck计算机科学研究所和Mannheim大学计算机系副研究员,2001年起任中科院成都计算所研究员、博士生导师,IC形式验证工程中心主任,2007年起任北京交通大学教授、博士生导师,2009年10月至今任广西民族大学副校长;计算机软件与理论专业,长期从事高效能高可信计算与推理理论与工具的研究和开发,研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用;在《中国科学》《Acta Informatica》《ISSAC》《ICFEM》等国内外学术刊物和国际会议论文集上发表研究论文178篇,出版学术专著3部,获得软件著作权10项,申请专利3项;承担国家自然科学基金、863、广西自然科学基金创新研究团队等国家、省部级科研项目20余项,至2016年指导毕业博士研究生23名,目前指导在读博士研究生11人;1997年获德国马普基金,2000年入选中科院百人计划,2004年新世纪百千万人才工程国家级人选,2005年入选四川省学术和技术带头人,2006年获国务院政府特殊津贴,2006年中组部中央直接联系高级专家,2010年入选广西优秀专家。
|