成为人类就是有缺陷，而有缺陷才是真实的。

The key to advancing computer science is collaboration across disciplines.

"A painting should be a window to another reality."

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

The habit of reading is the only enjoyment in which there is no alloy; it lasts when all other pleasures fade.