真实永远比虚构更离奇。

以平和的态度与人相处，但贵在有坚定不移的原则。对待自己须刚正，但贵在处事圆融通达而不拘泥。

Ignoring isn’t the same as ignorance, you have to work at it.

If you want to be happy, be.

Sustainability isn't an option; it's a necessity for the future of energy.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."