I have wide ranging interests in the design and theory of programming languages and logics and in their applications. I have an unfortunate fondness for indefensible hacks.
Currently I work for EdgeDB, primarily on their query language and query compiler.
Previously I worked for Dropbox on the mypy optional static typechecker for Python. Along with Jukka Lehtosalo, I built the mypyc compiler for type-annotated Python code.
Before that I was a Ph.D. student in the Computer Science Department at Carnegie Mellon University, advised by Karl Crary, where I wrote a thesis on the design and implementation of a new language memory model for low level concurrency (thesis).