英国女王伊丽莎白二世来华访问时想见他，他说

I’m not here to fit in. I’m here to stand out.

一流智力的检验标准是同时持有两种对立观点，并且仍然能够正常运作的能力。

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

The challenge of creating efficient and selective catalysts keeps me motivated every day.

I don't want to be perfect, but I do want to be a role model.

If my doctor told me I had only six minutes to live, I wouldn’t brood. I’d type a little faster.

I'm just a kid from Canada who had a dream.

科学的美丽在于它能够将抽象转化为具体。