About MeI’m a software engineer based in San Francisco. In a previous life, I worked as an academic computer scientist, specializing in proof theory, type theory, logic, and formalized reasoning.