法律是主要规则和次要规则的结合。
气候模型就像时间机器 - 它们让我们能够窥视可能的未来。
我们要做的是让中国汽车工业从大到强,从强到精。
人生太短,不应该浪费时间与平庸者交朋友。
生产与保护之间的平衡很微妙,但可以实现。
People haven't always been there for me, but music always has.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."