Undergraduate math major at Carnegie Mellon University, interested in theoretical aspects of AI Safety via Debate, control, game theory, and probabilistic logic. I'm currently doing theoretical AI Safety via Debate research under Professor Vincent Conitzer.