广西混杂计算与集成电路设计分析重点实验室

 首页  实验室概况  科学研究  学术委员会  科研平台  研发中心  人才培养 
站内搜索:
现任领导
 实验室简介 
 组织机构 
 现任领导 
 规章制度 
 联系方式 

新闻动态

MACIS 2013 - Fifth International ...
第九届国际智能计算学术会议(ICIC20...
实验室成员参加自治区知识产权培训
实验室成员赴桂林参加中日信息科学...
意大利比萨大学法布里齐奥·卢西奥教...
实验室成员将赴桂林参加中日信息科...
2012年度实验室喜获3项广西自然科学...

现任领导
您的位置: 首页>>实验室概况>>现任领导
现任领导

吴尽昭,博士,教授,博士生导师。长期从事高效能高可信计算与推理理论与工具的研究和开发,研究领域涉及符号计算、自动推理、复杂并发系统设计与分析。在国内率先展开形式化方法与代数符号计算的交叉与融合研究。1994年7月于中科院系统科学所获博士学位,导师为吴文俊院士,1994年7月至1996年6月在北京大学从事博士后研究,合作导师为程民德院士,1996年7月起任北京大学数学学院信息科学系副教授,1997年1月至1998年1月任美国Texas A&M大学电子工程系副研究员,1998年1月至2005年12月任德国Max-Planck计算机科学研究所和Mannheim大学计算机科学系研究员,自2001年6月起任中科院成都计算机应用研究所研究员、博士生导师,2007年10月起任北京交通大学计算机与信息技术学院教授、博士生导师、轨道交通控制与安全国家重点实验室研究员,2009年10月起任广西民族大学教授、副校长。1997年获德国“马普学会奖学金”,2000年入选中科院“百人计划”,2004年入选国家首批“百千万人才工程国家级人选”,2005年入选“四川省学术和技术带头人”,2006年获国务院政府特殊津贴。在《中国科学》、《Acta Informatica》、《ISSAC》、《ICFEM》等国内外重要学术刊物和国际会议论文集上发表科研论文103篇,出版学术专著3部,获得软件著作权6项,申请专利3项,近年来承担完成国家自然科学基金、973、863、科技部中小企业创新基金等国家、省部级科研项目10余项。

【详细】

广西混杂计算与集成电路设计分析重点实验室  地址:广西南宁市大学东路188号
邮编:530006

[登录]