The best leaders are those who empower others to lead.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

"I think the most important thing for a writer is to be honest and to write from the heart."

In every person, there is an abyss. Sometimes you look into it, and sometimes you don’t.

A great editor knows when to hold back and when to push forward.

I'm drawn to a lovely quote by St. Augustine in "The City of God," where he says, "It's a sin to judge any man by his post." In modern English that would mean it's a sinto come to any view of who you should talk to, dependent on their business card. It's not the post that should count. According to St. Augustine, only God can really put everybody in their place; he's going to do that on the Day of Judgment, with angels and trumpets, and the skies will open. Insane idea, if you're a secularist person, like me. But something very valuable in that idea, nevertheless.