In the fight between you and the world, back the world.

不要把自身不当回事，天、地、人的精华都藏在身体之中；不要轻视今生的每一刻，千古的功业关键在今朝。

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

I'm not a perfect person, but I'm trying to be better every day.

"Sometimes the hardest thing in life is to know which bridge to cross and which to burn."