生命是一场梦，而梦，终究是梦。
La vida es sueño, y los sueños, sueños son.
计算的未来在云端，云端就是计算的未来。
系统设计的未来在于将形式化方法与传统工程实践相结合。
To live under the American Constitution is the greatest political privilege that was ever accorded to the human race.
I love the competition, the challenge, and the fight.
