The best way to create interest in a subject is to render it worth knowing, which means to make the knowledge usable.

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

Collaboration is the key to solving the world’s biggest health challenges.