Collaboration across borders and disciplines is the key to unlocking breakthroughs in our field.

人在学习上，如果不每天进步就会每天退步。

最重要的是在工作中要诚实。诚实是伟大表演的关键。

The challenge in model checking is not just to find errors, but to understand why they occur.

我想创造一些能让我的社区感到自豪的东西，一些能展示我们可以用自己的双手做出伟大事情的东西。

I believe that love is a better teacher than the sense of duty， he said， at least for me.