The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I always try to make films that I would want to see.
Collaboration across disciplines leads to the most innovative solutions.