Dr Francesco Belardinelli

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

My research focuses on the applications of logic-based formalisms to Artificial Intelligence.
My main areas of interest include:

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

Multi-agent Systems (MAS) are open, distributed systems where the processes, or agents, have individual preferences, objectives, and knowledge.
MAS has been successfully applied to modelling a wide range of systems in different areas, including robotics, security, avionics.
However, the distributed nature of MAS makes it extremely difficult to predict their behaviour and temporal evolution.
My research hinges on logic-based languages (extensions of logics for strategies) to model data-aware and data-intensive systems, as well as the techniques to verify these critical MAS scenarios.
On this subject, I am currently developing the ANR JCJC project SVeDaS on the specification and verification of data-aware systems.

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


New: two 4-year PhD positions are available on themes pertaining to the verification of strategic behaviour in multi-agent systems.
If interested, please read more here and here.


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 08/10/2018