The future of computing lies in the development of systems that can verify their own correctness.
Great truths are even more simple than I thought they were....
A city's identity is shaped by its architecture and public spaces.
The heart of another is a dark forest, always, no matter how close it has been to one’s own.
I don't want to be remembered for being famous. I want to be remembered for being brave.