学习数学的唯一方法就是做数学。
模型检查是验证有限状态并发系统正确性的强大技术。
Efficiency in aquaculture isn’t about producing more—it’s about wasting less.
Humans are allergic to change. They love to say, 'We've always done it this way.' I try to fight that. That's why I have a clock on my wall that runs counter-clockwise.
The sea is a good place to think of the future.