The future of computing lies in the development of systems that can verify their own correctness.
成功不是终点,失败也不是致命的,重要的是继续前进的勇气。
The best characters are the ones that stay with you long after the book is closed.
音乐没有语言障碍。
法治是一种政治理想,而不是法律理想。
我无法相信一个要一直被赞美的上帝。