NEWS

Introduction to the Joint Center

Fri, 07/24/2009 - 11:54 — nate

Research on High-Confidence Software (HCS) intends to develop new cutting-edge technologies and tools that will dramatically improve the dependability of today's computer software. Successful research in HCS requires a deep knowledge and shared expertise of a large number of sub-disciplines in computer science, ranging from formal methods, programming languages, compilers, operating systems, computer security, proof assistants, software engineering, computer architecture, to embedded systems.

NEWS

Login to post comments
Read more
简体中文

Sino French Laboratory(LIAMA) Visited Joint Research Center

Sat, 11/21/2009 - 00:37 — nate

Nov 19, 20009, Director of Sino French Laboratory for computer science, automation and applied mathematics (LIAMA), professor Jean-Pierre Jouannaud and Dr. Pierre-Yves Strub came to our research center and paid a two-day visit. LIAMA is a joint lab of INRIA and universities of China including Tsinghua University. We introduced our joint work with Yale and on-going work. Post Doc. Guo Yu and Li Zhaopeng gave talks about certified operating system kernel and certifying compiler. Prof. Jouannaud and Dr.

NEWS

Login to post comments
Read more
简体中文

Researcher Yves Bertot visited Joint Center

Mon, 09/07/2009 - 14:18 — nate

September 3 to 5, 2009, Yves Bertot, a senior researcher of INRIA was invited to visit USTC-Yale joint research center of high confidence software. During that time, Yves Bertot gave us a brief talk about the proof assistant "Coq" and how to formally describe programming language semantics and do static analysis with it. Post-doc Yu Guo, Zhaopeng Li and Dr. Ming Fu reported about projects on Operating System Verification, Certifying Compiler, Concurrent Program Verification, respectively. Yves Bertot had an in-depth discussion about these projects with us.