Pure-mathematics background, working on technical problems in AI safety.

Selected research