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.
Specifically, I am interested in modal and first-order logics for the specification and verification of multi-agent systems.

New: two 4-year PhD positions are available on themes pertaining to the verification of strategic behaviour in multi-agent systems.
If interested, please drop me an email.

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