I'm not a feminist, I'm a humanist.
我不是女权主义者,我是人文主义者。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
成功的数据管理的关键是理解数据。如果你不理解你的数据,你就无法有效地管理它。
The challenge in computer science is not just to solve problems, but to solve them in a way that is both efficient and elegant.