About the mentor
Quinn is responsible for explaining formal verification of software to EAs and everyone interested in AI safety and security. He is working on making proofs cheaper faster while trying to shape the field identifying how to use formal methods in AI security.