The future of computing lies in the development of systems that can verify their own correctness.

I don't believe in taking the right decisions. I take decisions and then make them right.

Empowerment is about lifting others as you climb.

I have self-doubt. I have insecurity. I have fear of failure. I have nights when I show up at the arena and I’m like, “My back hurts, my feet hurt, my knees hurt. I don’t have it. I just want to chill.” We all have self-doubt. You don’t deny it, but you also don’t capitulate to it. You embrace it.