Wisdom acquisition is a moral duty.It's not something you do just to advance in life...You are not going to get very far in life based on what you already know.You're going to advance in life by what you learn after you leave here.

Always think big and don't listen to people who tell you it can't be done.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

传统与创新不是对立的——它们是进步的伙伴。