"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

"Science is not just a collection of facts; it's a way of thinking, a way of skeptically interrogating the universe with a fine understanding of human fallibility."

Architecture is a very dangerous job. If a writer makes a bad book, well, it's a bad book. But if an architect makes a bad building, it's a bad life.