I never cut class. I loved getting A’s, I liked being smart. I liked being on time. I thought being smart is cooler than anything in the world.

Science is a tool for empowerment, not control.

"History is not the past, it is the present. We carry our history with us."

我不是一个女商人，我就是生意，女人。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

唯一能让你成为领导者的是你的远见。