Austin T. O'Quinn

PhD Student, The Ohio State University

I research AI safety with a focus on formal methods — verification, specification, and provable guarantees for AI systems. I also spend time thinking about AI policy, philosophy, and interpretability, which is partly why this blog exists.

Some posts here are technical, some are speculative, and some are me working through my own misconceptions in public. If something is useful to you, or if you think I got something wrong, I'd like to hear about it.

CV

Download my CV (PDF)

Contact