英国女王伊丽莎白二世来华访问时想见他,他说
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.