"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I'm obsessed with reinvention. I'm obsessed with being a warrior for love.