"Every story has a beginning, a middle, and an end, but not necessarily in that order."

The beauty of theoretical computer science lies in its ability to abstract and generalize, turning specific problems into universal truths.

Deep into that darkness peering, long I stood there wondering, fearing, doubting, dreaming dreams no mortal ever dared to dream before.

I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.