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.
教育是在所学知识被遗忘后仍能留存的东西。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
I believe in the power of storytelling to connect people across different cultures and experiences.