我认为最好的演员是那些愿意脆弱、愿意冒险的人。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

Like the meeting of the seagulls and the waves we meet and come near. The seagulls fly off,the waves roll away and we depart.

不要害怕放弃好的，去追求伟大的。

我不是老师，我是学生。

唯一能让你成功的是你的热情。