Alec C. Edwards


I’m a Research Associate in AI and Verification at the Department of Computer Science at the University of Oxford, working with Alessandro Abate in the OxCAV group. Recently, I completed a PhD within the CDT in Autonomous Intelligent Machines and Systems (AIMS), supervised by Alessandro Abate in the Department of Computer Science.

My research interests lie broadly across artificial intelligence and formal verification. In particular, I’m interested in the interesection of these two fields, and how they can be combined to help us build safer and more trustworthy models.