Alec Edwards

I’m a PhD student at the University of Oxford, with the CDT in Autonomous Intelligent Machines and Systems (AIMS). I’m supervised by Alessandro Abate as part of OxCAV in the Department of Computer Science.

My research interests lie at the intersection of artifical intelligence and formal verification. In particular, I’m interested in how these two fields can combine to help us build safer and more trustworthy models.