九州手机版登录入口
 
新闻信息
新闻
教学信息
科研信息
学术活动
往期学术活动
通知公告
更多>>学术活动
您现在的位置:首页>新闻信息>新闻

LIAMA主任Jean-Pierre Jouannaud教授一行来访九州BET9手机登录入口

2010-06-10

  应中科大—耶鲁高可信软件联合中心的邀请,中法信息、自动化与应用数学联合实验室(LIAMA)主任Jean-Pierre Jouannaud教授与研究员Pierre-yves Strub 博士于2009年11月19日至20日来九州BET9手机登录入口进行访问交流。

 

 <IMG src="/_upload/article/images/99/c1/a22cf7f94ea99a9e0d406c294aa9/W020100610343793407942.jpg" border=0 _fcksavedurl="http://cs11.ustc.edu.cn/files/200911/00012404.jpg" OLDsrc="/_upload/article/images/99/c1/a22cf7f94ea99a9e0d406c294aa9/W020100610343793407942.jpg"
Jean-Pierre Jouannaud教授

<IMG src="/_upload/article/images/99/c1/a22cf7f94ea99a9e0d406c294aa9/W020100610343793494811.jpg" border=0 _fcksavedurl="http://cs11.ustc.edu.cn/files/200911/00012405.jpg" OLDsrc="/_upload/article/images/99/c1/a22cf7f94ea99a9e0d406c294aa9/W020100610343793494811.jpg"
Pierre-yves Strub 博士


  中科大—耶鲁高可信软件联合中心的研究人员向来访专家介绍了目前正在开展的操作系统内核验证与出具证明编译器研发等方面的研究工作。Jouannaud教授和Strub博士介绍了LIAMA的组织结构与研究方向,并阐述了目前定理证明辅助工具与决策过程相结合的可能性与亟待解决的问题。

 

  通过两天的交流,双方均感到在研究方向和课题上存在颇多的共同兴趣,并就高可信软件联合中心与INRIA相关实验室以及LIAMA之间的长期合作进行了初步探讨。

 

  LIAMA成立于1997年1月,由法国国家信息与自动化研究所(INRIA)和中国科学院共同创立,是中国第一个长期从事基础研究的中外联合实验室。如今,该实验室已结合法国国家科研中心、清华大学、法国电信、阿尔卡特空间中心、法国中央理工学院等许多中法合作伙伴。


相关新闻
  • LIAMA主任Jean-Pierre Jouannaud教授一行来访九州BET9手机登录入口

CopyRight 2009-2014 九州手机版登录入口_九州BET9手机登录入口 All Rights Reserved.
安徽省合肥市黄山路九州手机版登录入口西区电三楼
通信地址:安徽省合肥市4号信箱 九州手机版登录入口 邮政编码:230027