"To travel is to discover that everyone is wrong about other countries."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I'm a person who likes to be on top.