现任领导
当前位置: 网站首页 >> 备份 >> 学校概况 >> 现任领导 >> 正文
  


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

上一条:黄世喆副校长 下一条:李珍刚副校长

关闭


 

版权所有:广西民族大学 校址:中国广西南宁市大学东路188号 邮编:530006 Email:webmaster@gxun.cn

备案号:桂ICP备05000943号 南警备 4501200086 号 前置审核编号:桂JS200601-04