I don't want to be famous, I just want to be able to do what I love.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

The future of technology depends on the diversity of those who build it.

"One must be an inventor to read well. There is then creative reading as well as creative writing."

相信有时是痛苦的。但如果停止相信，什么都不会开始。

人は、失敗から学ぶことで成長する。

可持续性不是一种选择；它是我们对后代的责任。