I work on AI inference at Etched.
Previously I worked on AI+math at Google DeepMind (see below for some papers) and did my PhD in Theoretical Computer Science at UC Berkeley, focusing on complexity theory (also see below for some papers).