"Writing is a way of discovering what you didn’t know you knew."

I draw from the crowd a lot.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

To have a confident attitude, please learn to learn you do not have to learn the knowledge.

We must balance economic growth with environmental responsibility.

我很幸运能做我喜欢的事情。