The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Be yourself, because everyone else is taken.
Like Warren, I had a considerable passion to get rich, not because I wanted Ferrari's -I wanted the independence.I desperately wanted it.
The value of information is not in knowing more, but in knowing what others don't know.
Fear can hold you prisoner. Hope can set you free.
Never, never and never again shall it be that this beautiful land will again experience the oppression of one by another and suffer the indignity of being the skunk of the world.Let freedom reign!
不创新的企业将会停滞不前。