"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
"We are all products of our time, for better or worse."
市场需要的是解决方案,而不仅仅是产品。
统计学家不能逃避理解他所应用或推荐的过程的责任。
The best businesses solve real problems.