我们的认知偏差不仅仅是判断上的错误;它们是窥视人类大脑进化适应的窗口。
The challenge in model checking is not just to find errors, but to understand why they occur.
Don't let the noise of others' opinions drown out your own inner voice.
I don't think about my voice. I just sing.
Collaboration across borders and disciplines is the key to unlocking breakthroughs in our field.
The world is a place of chaos and confusion, and the only way to make sense of it is to find your own path through it.