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

Raise your quality standards as high as you can live with, avoid wasting your time on routine problems, and always try to work as closely as possible at the boundary of your abilities. Do this, because it is the only way of discovering how that boundary should be moved forward.

If we wish to count lines of code, we should not regard them as "lines produced" but as "lines spent."

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

Computer science has as much to do with computers as astronomy has to do with telescopes.

Beauty is our business.

Computer science is no more about computers than astronomy is about telescopes, biology is about microscopes or chemistry is about beakers and test tubes. Science is not about tools. It is about how we use them, and what we find out when we do.