I don't compete with anyone but myself. My goal is to be better than I was yesterday.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The most important thing is to enjoy your life—to be happy—it's all that matters.