Quality is never an accident; it is always the result of intelligent effort.

Hard work beats talent when talent doesn’t work hard.

Beauty is the shadow of truth.

Most of us spend too much time on what is urgent and not enough time on what is important.

In the era of data-driven, computing power is the core competitiveness.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。