I am driven by a simple question: can we build fundamentally better ways for humans and machines to communicate?
That question has taken my work beyond conventional application architecture into programming languages, compilers, operating systems, AI, formal semantics, security, and hardware. I am interested in systems where the machine can understand more of the programmer's intent, reason about it, enforce its constraints, optimize its execution, and make entire classes of defects and security failures impossible by construction.
I enjoy working across the entire technology stack—from distributed systems and cloud infrastructure to Linux, hardware, compilers and language design. I am particularly interested in the boundaries between disciplines and in challenging assumptions that are often accepted simply because "that's how it has always been done."
Ultimately, I am less interested in building another implementation of an existing idea and more interested in exploring whether the underlying model itself can be redesigned.