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

 首页  实验室概况  科学研究  学术委员会  科研平台  研发中心  人才培养 
站内搜索:
主要研究人员

 学术会员会成员 
 顾问教授 
 主要研究人员 




主要研究人员

周永权
刘晓冀
宣士斌
蓝师义

新闻动态

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

主要研究人员
您的位置: 首页>>学术委员会>>主要研究人员>>正文

何安平
2014-07-05   审核人:

何安平,博士,副教授,1981年出生,计算机软件与理论专业。自2004年开始从事计算机科学形式化方法理论与工具的研究和开发,研究领域涉及模型检测、等价性验证、异步电路系统相对时序分析、混合系统形式化分析与验证、基于多项式代数形式建模与验证、形式语义学和形式化工具研发。已发表SCI/EI论文10余篇,近年来参与了多项国家自然科学基金和省部级科研项目。2009至今,一直与美国波特兰州立大学ARC中心合作,在著名计算机科学家、88年图灵奖获得者Ivan Sutherland教授指导下进行异步电路系统(FLEET 异步CPU)的相对时序分析,获得他的高度评价。

上一条:黄勇
下一条:杨世瀚

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

[登录]