To write is to fight against oblivion.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I believe in the power of storytelling to change perspectives and open hearts.