The test of our progress is not whether we add more to the abundance of those who have much; it is whether we provide enough for those who have too little.

"The future of system design lies in the integration of formal methods with traditional engineering practices."

Never stop questioning how things can be done better—complacency is the enemy of progress.

"We are all witnesses to the same events, but we see them differently."