The internet has the power to transform lives, but only if we ensure everyone has access to it.
You have to be willing to fail to succeed.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."