我不在乎别人怎么说我，我知道我是谁。

技术是这样一种诀窍，它安排世界，使我们不必去体验它。

算法的美不在于它们的复杂性，而在于它们的简洁和优雅。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

我不是专横，我就是老板。

我喜欢通过音乐与人交流的想法，无论他们来自哪里或说什么语言。