"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
O tempo é o melhor autor: sempre encontra um final perfeito.
I don't have time to hate people who hate me, because I'm too busy loving people who love me.
The best armor of old age is a well-spent life perfecting it.
The most radical art often comes from the margins.