about

I'm a software engineer working on the Bazel build system at Google NYC.

projects

See Projects for the full list.

interests

Programming language theory, type theory, engineering productivity, compilers and toolchains, scalability.

posts

papers and reports

talks