I don't like to do easy things. I like to do things that are challenging and that push me.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Freedom is nothing else but a chance to be better.