Love yourself first, and everything else falls into line.

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

I always work hard, no matter what. I’m always focused on what I want to achieve.

The only way to understand another culture is to assume the frame of reference of that culture.

我已经失去我的生命中不死的一部分，留下来的也就跟畜生没有分别了。