"Theoretical computer science is not just about solving problems; it's about understanding the nature of computation itself."
Being busy is a form of laziness—lazy thinking and indiscriminate action.
Leadership isn’t about being liked; it’s about getting results.
I am interested in the way people lie to themselves, the stories they tell themselves to make life bearable.
Every effort is for a better future.
A proof is a repeatable experiment in persuasion.