MEHRAN  HOSSEINI

I'm a postdoctoral researcher at King's College London's Informatics Department and a founder of NaPolleon, an AI-powered survey and prediction market backed by Oxford University Innovation. My research focuses on developing mathematical foundations for safe and verifiable AI systems, with particular emphasis on scalable verification tools and novel deep learning architectures that are more capable and amenable to formal verification.

At the KCL, I lead the research on safety verification of autonomous neural agents as part of the EU Horizon's REXASI-PRO project, collaborating with Nicola Paoletti and DDV Lab. Before joining KCL, I was at Imperial College London's Safe Artificial Intelligence Lab (SAIL) collaborating with Alessio Lomuscio on scalable verification of recurrent neural nets. Prior to this, I completed my DPhil in computer science at Oxford University, where I solved the universal termination problem for linear loop programs. At Oxford, I was lucky to have James Worrell and Joël Ouaknine as my supervisors.