Company name
2022Founder
Researcher
Building formally verified software environments as RL training data for frontier AI models.
Founder and CEO
Founded a third-party AI auditing company selling alignment evaluations and monitoring to frontier labs.
PhD in Computer Science
MSci Mathematics, First Class Honours