"You can’t always get what you want, but sometimes you get what you need."

A good mathematician is someone who can see analogies between theorems; a great mathematician is someone who can see analogies between analogies.

The quality of an organization's integrity determines the quality of its trust.

当你处于困境时，记住你为什么要开始。

"The future of system design lies in the integration of formal methods with traditional engineering practices."

The idea that everyone should slavishly work so they do something inefficiently so they keep their job – that just doesn’t make any sense to me. That can’t be the right answer.

Collaboration across industries is essential to solving the complex challenges of energy production.