林业创新不是用技术取代自然，而是利用技术更好地理解和与自然合作。
Innovation in forestry isn't about replacing nature with technology, but using technology to better understand and work with nature.
When a professor insists computer science is X but not Y, have compassion for his graduate students.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
A problem well put is half solved.
I believe in the power of visualization.
组合数学就像是不用实际计数的计数艺术。
Grief is a private thing. It takes as long as it takes.
成功投资的关键不是预测未来，而是理解当下以及影响我们决策的偏见。