The pursuit of knowledge in computer science is a journey through an infinite landscape of ideas.
I think that the most interesting art is the art that makes you think about what you're looking at.
The future belongs to those who dare to challenge the status quo.
对逻辑形式的研究不仅关乎语言,也关乎世界。
占据有利位置,更容易成功。  
最好的投资是那些能够将想法变为现实的人。