USTC-Yale Joint Research Center for High-Confidence Software

After a series of preparations, the website of KDYHCS is finally open.
This website is servered as a news center of KDYHCS, and also an introduction of laboratories under KDYHCS. People and projects will be updated. And research results will be published frequently.
Welcome to surf the site and give your comments.