Languages

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年和另外两位科学家

Dr. Guofei Gu Visited USTC-Yale joint research center

  On Jul 23, 2013, at the invitation of USTC_Yale joint research center for confidence software, Dr. Guofei Gu paid a a visit to USTC Suzhou Institute. Guofei Gu is an assistant professor in the Department of Computer Science & Engineering at Texas A&M University (TAMU). His research interests are in network and system security, such as Internet malware/botnet analysis/detection/defense, web and social network security, cloud and software-defined networking security, and intrusion/anomaly detection.

Dr. Du Li Visited Joint Research Center

On Aug 5,2013, Dr. Du Li from CMU visited the joint research center. Du Li is currently a Post Doctorate Associate at School of Computer Science in Carnegie Mellon University. He received a PhD degree from University of Nebraska-Lincoln in 2012, a M.E. degree from Institute of Software, Chinese Academy of Sciences in 2007, and a B.E degree from National University of Defense Technology in 2002, all of which are in computer science. His research interests include program analysis, runtime systems and program languages design.

Dr. Aquinas Hobor Visited Joint Research Center

On Apr 26,2013, Dr. Aquinas Hobor, a lecturer from National University of Singapore's School of was invited to visit USTC-Yale joint research center of high-confidence software. Dr.Hobor gave a inspiring talk about the work on  ramifications, as well as his paper accepted by POPL'13.
 
 

Welcome to 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 First Paper from Chinese Mainland Accepted by POPL

   Recently, LIANG Hongjin, FENG Xinyu and FU Ming from USTC-Yale Joint Research Center for High-Confidence Software had a paper “A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations” accepted by the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). This is the first paper accepted by POPL whose first affiliation is from Chinese mainland, and University of Science and Technology of China (USTC) becomes the first institution receiving the honor.

Dr.Christian Urban Visited Joint Research Center

 
On April 25, 2011 at the invitation of USTC-Yale joint research center for confidence software, Dr. Christian Urban from German Technical University of Munich paid a visit to USTC Suzhou Institute. Dr. Christian received his PhD degree from Cambridge University in 2000 and after that he has been engaged in research work related to theorem proof in Cambridge University, Princeton University and Technical University of Munich. In recent years, he mainly focuses on theoretical fields like auto theorem proof , program language,etc.
 

Dr.Søren Debois Visited Joint Research Center

On May 11, 2011, Dr.Søren Debois came to USTC-Yale joint research center and paid a two-day visit.Søren Debois got his PhD under the supervision of Lars Birkedal and Thomas Hildebrandt in 2008 at the IT University of Copenhagen, where he is currently employed as a post doc. His dissertation and subsequent research has centered on the development and application of the theory of bigraphs, notably "sortings", notions of higher-order bigraphs, notions of refinement for bigraphs, and applications of bigraphs to ubiquitous computing.

Syndicate content