Mathematician · Theorist · Builder
I study the foundations of computation and logic —
the architecture of thought made rigorous.
I also build things that actually work.
"Computer science is not about coding. It never has been.
It is about human thought. Can machines be kind?
That is my question."