It used to be the program's purpose to instruct our computers; it became the computer's purpose to execute our programs.

The art of programming is the art of organizing complexity.

I would therefore like to posit that computing's central challenge, how not to make a mess of it, has not yet been met.

Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding.

In the software business there are many enterprises for which it is not clear that science can help them; that science should try is not clear either.

We are all shaped by the tools we use, in particular: the formalisms we use shape our thinking habits, for better or for worse, and that means that we have to be very careful in the choice of what we learn and teach, for unlearning is not really possible.

Aim for brevity while avoiding jargon.