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.

FORTRAN, the infantile disorder, by now nearly 20 years old, is hopelessly inadequate for whatever computer application you have in mind today: it is now too clumsy, too risky, and too expensive to use.

Much of the excitement we get out of our work is that we don't really know what we are doing.

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

Beware of "the real world". A speaker's apeal to it is always an invitation not to challenge his tacit assumptions.

The computing scientist's main challenge is not to get confused by the complexities of his own making.

Beauty is our business.