每个家庭都是一座闹鬼的房子。

In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.

最成功的企业是那些把客户放在首位的企业。

计算机科学的未来将由那些能够无缝融合数学理论与计算实践的人塑造。

The study of Shimura varieties is a meeting point of geometry, algebra, and number theory.