我发现时间可以治愈大多数事情，你可能会找到你正在寻找的东西。

I don't believe in playing villains or heroes. I believe in playing people.

心灵研究必须基于生物学。

I always try to do something different, something that challenges me.

The process of verification is as important as the process of creation in computer science.