The brain is a naturally selected information processor.
I believe in the power of storytelling. It's how we make sense of the world and our place in it.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."