I don’t want to be famous. I just want to be great.

I never cut class. I loved getting A’s, I liked being smart. I liked being on time. I thought being smart is cooler than anything in the world.

Success is not just about profit; it's about making a positive impact on society.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

Leadership means making tough decisions today that will pave the way for a better tomorrow.