I'm very competitive with myself. I'm always trying to push beyond my own boundaries.
A play is not an essay, nor should it be treated as such.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
音乐让我学会了如何面对生活中的起伏。
Sustainability isn't a trend—it's our responsibility to the next generation.