语言

News

warning: Creating default object from empty value in /var/www/drupal/modules/i18n/i18ntaxonomy/i18ntaxonomy.pages.inc on line 34.

Dr. XiaoKang Qiu Visited USTC-Yale joint research center

On April 3, 2015, Dr.XiaoKang Qiu came to USTC-Yale joint research center and paid a two-day visit. XiaoKang Qiu got his PhD under the supervision of  Madhusudan Parthasarathy in 2013 at the  University of Illinois at Urbana-Champaign,  and he is currently employed as a post doc at MIT.

三星(中国)研发中心人员访问中科大-耶鲁高可信软件联合研究中心

三星(中国)研发中心人员于20131230日对中科大-耶鲁高可信软件联合研究中心进行了为期一天访问和交流。研究中心的各位老师,分别介绍了他们各自在指针程序验证,程序并行化加速,程序确定性等方面的工作。三星的研发人员也提出了他们的需求和面临的问题,涉及到GPU加速机器学习算法,JavaScript引擎加速,网页高效提取等方面的问题。期间,大家对各自感兴趣的问题做了进一步地讨论和交流。

 

中科院“爱因斯坦讲席教授”、图灵奖得主Edmund Clarke教授访问中科大-耶鲁高可信软 件联合研究中心

   美国卡内基梅隆大学计算机系教授、中国科学院“爱因斯坦讲席教授”、图灵奖得主
Edmund Clarke于2013年10月20日至27日对中科大苏州研究院和中科大--耶鲁高
可信软件联合研究中心进行了为期8天的学术访问与交流。
   
       Edmund Clarke教授是形式化验证领域中模型检查(Model Checking)技术的
创始人之一,他是美国计算机学会(ACM)与美国电气电子工程师学会(IEEE)院
士,同时也是美国国家科学院和工程院院士。Clarke教授于2007年和另外两位科学家

2011年第三届亚太地区形式化方法暑期学校

 

 
■  你相信自己的数学直觉吗?
 
你写下的证明真的可靠吗?

你理解各种数学证明技巧的原理吗?

你会用数学证明来自动生成计算机程序吗? 

2011年8月13日至21日,第三届亚太地区形式化方法暑期学校,将教你学用世界著名的证明辅助工具Coq,感受数学与计算机结合的完美艺术!详情请见附件。

中科大-耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”

     日前,中科大-耶鲁高可信软件联合研究中心梁红瑾、冯新宇和付明的论文A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations被第39届 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(简称POPL)录用。这是联合研究中心的研究迈入国际一流水平的里程碑。此前,中国大陆无任何单位以第一作者单位的身份在POPL上发表过论文。梁红瑾等的论文的发表,将使得中国科学技术大学成为大陆第一个以第一单位在POPL上发表论文的高校和科研院所,真正实现了“零的突破”。
     POPL是编程语言领域历史最久、水平最高的国际会议,它是讨论编程语言和编程系统最新突破的最主要论坛,内容涵盖编程语言的理论、编程语言的设计、编译器技术、程序分析、程序验证、可信软件等众多研究领域。国际期刊和会议的各种分区方法都把POPL放在该领域的最高区域中。

Christian Urban博士访问中科大—耶鲁高可信软件联合研究中心

2011 年4月25 日,应中科大耶鲁高可信软件联合研究中心邀请,德国慕尼黑理工大学的Christian Urban博士来中科大苏州研究院访问。Christian Urban博士于2000年在英国剑桥大学获博士学位,随后在剑桥大学、普林斯顿大学和慕尼黑理工大学从事定理证明相关的研究工作。Christian Urban博士是著名定理证明器Isabelle的核心开发者之一,近年来主要关注自动定理证明、程序语言等理论领域。

Søren Debois 博士来访

 2011年5月11号,哥本哈根IT大学博士后Søren Debois博士来到联合研究中心进行了为期三天的学术访问和交流。Søren Debois博士于2008年在哥本哈根IT大学获得博士学位,他的主要研究内容围绕Bigraphs展开。目前,Søren Debois博士致力于研究程序语言,并发模型和普适系统之间的关系。访问期间,Søren Debois博士和研究中心的师生进行了深入的学术探讨,并对他的工作做了精彩的报告。

 会前冯老师向实验室师生介绍Søren Debois博士

3rd Asian-Pacific Summer School on Formal Methods

The 3rd Asian-Pacific Summer School on Formal Methods will be held in Suzhou, China in August 13-21, 2011. The objective is to teach students the principles and practice of programming with the proof assistant Coq, as in previous years (2009 and 2010), and to show them the state of art applications of proof assistants and theorem provers in formal methods.
 

LIMIA 实验室 Vania Joloboff 教授来访

2010年12月16号,法国国家自动化研究院(INRIA),中法信息自动化与应用数学联合实验室(LIAMA) 软件专家 Vania Joloboff 教授应中科大计算机学院冯新宇教授邀请,对科大耶鲁高可信软件联合中心进行学术访问,并就他目前所做的仿真器软件"SImSoC"做了精彩的报告。高可信中心的教授,博士后和博士硕士研究生参与了本次讲座。讲座现场气氛活跃,内容丰富生动,报告结束后,围绕中心的研究方向,现场师生踊跃提问,Joloboff教授一一做了详尽的解答。双方并就彼此的研究内容进行了深层次的探讨,大家收益甚多。

Joloboff教授正在和冯新宇教授以及陈意云教授探讨中

Joloboff正在给我们做报告

谭刚博士访问耶鲁科大联合研究中心

2010年11月25号,美国Lehigh大学计算机科学学院软件安全实验室(SOS)助理教授谭刚博士访问了联合研究中心。访问期间,谭刚博士具体介绍了自己的研究内容和研究方向,包括他目前正在参与的一个项目“GoNative”。该项目致力于在高级语言如C#,Java和Python中如何安全执行在程序代码中包含的低级语言代码片段。

关于这个报告更详细的内容,请点击此处

谭刚博士

同步内容