The most profound discoveries often start with simple observations.

不要被信条所惑，盲从信条是活在别人的生活里。不要让任何人的意见淹没了你内在的心声。

"The future of system design lies in the integration of formal methods with traditional engineering practices."

环境是我们所有人相遇的地方，是我们共同关心的地方，是我们所有人共享的东西。

伟大源于相信自己和自己所看到的愿景。