"Neoliberalism is the ideology that says there is no alternative, while making sure there is no alternative."
"Books are empathy machines. They allow us to step into someone else's shoes and see the world through their eyes."
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Innovation is not just about creating something new; it's about making a difference in people's lives.