The future of computer science will be shaped by those who can seamlessly blend mathematical theory with computational practice.
"Life is a journey that must be traveled no matter how bad the roads and accommodations."
Art is the lie that enables us to realize the truth.
如果汽车行业像半导体行业一样快速发展,劳斯莱斯每加仑能跑50万英里,扔掉它比停车更便宜。
教育是在所学知识被遗忘后仍能留存的东西。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
I believe in the power of storytelling to connect people across different cultures and experiences.