I'm not a perfectionist, but I like to feel that things are done well. More important than that, I feel an endless need to learn, to improve, to evolve.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

建筑是凝固的音乐。

I'm not here to be perfect, I'm here to be real.

我相信爱和音乐的力量可以改变世界。

每个原子都有潜力，而解锁它是我们的责任。