I’m not perfect but I’m trying my best every day.

The truth is you don't know what is going to happen tomorrow. Life is a crazy ride, and nothing is guaranteed.

永远不要满足于现状，始终追求更好。

To be a poet is to have a soul so quick to discern, that no shade of quality escapes it.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

As to the gods, I do not know whether they exist or not, nor what they are like in form; for there are many things that hinder sure knowledge, the obscurity of the matter and the shortness of human life.

抱最好的希望，做最坏的打算。