"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
在采购和生产中的透明度建立了与消费者和利益相关者的信任。
Stay hungry, stay foolish.
The power of words is that they can create worlds.
金融科技的本质是金融,科技只是手段,不能本末倒置。
最具可持续性的企业是那些平衡利润与目标的企业。
我不是天才,但是我在某些事情上很聪明,我就只关注这些事情。