Dr Francesco Belardinelli

I am senior lecturer at the Department of Computing, Imperial College London.

My research focuses on Safe AI, mainly through the application of formal methods.

My main areas of interest include:

  • Safe Reinforcement Learning
  • Logic-based Languages for Artificial Intelligence
  • The Specification and Verification of Multi-agent Systems
  • Strategic Reasoning under Imperfect Information

I am currently developing the EPSRC project An Abstraction-based Technique for Safe Reinforcement Learning.

I am co-director of the CDT in Safe and Trusted AI.

For a detailed list of academic and extra-curricular activities, you can refer to my CV.


New: one 4-year PhD position is available on themes pertaining to my EPSRC project.


Contact details:
Department of Computing
Imperial College London
180 Queen's Gate
SW7 2AZ, London UK

e-mail: francesco[dot]belardinelli[at]imperial.ac.uk
Last updated 19/03/2024