Francesco Belardinelli
Scholar

Francesco Belardinelli

Google Scholar ID: Mr35r1EAAAAJ
Imperial College London
Artificial IntelligenceLogicFormal Methods
Citations & Impact
All-time
Citations
969
 
H-index
18
 
i10-index
34
 
Publications
20
 
Co-authors
50
list available
Contact
Resume (English only)
Academic Achievements
  • - Developing the EPSRC project 'An Abstraction-based Technique for Safe Reinforcement Learning'
  • - One 4-year PhD position is available on themes pertaining to his EPSRC project
Research Experience
  • - Senior Lecturer at the Department of Computing, Imperial College London
  • - Principal Investigator of the EPSRC project 'An Abstraction-based Technique for Safe Reinforcement Learning'
  • - Co-Director of the CDT in Safe and Trusted AI
Background
  • - Research Interests: Safe AI, mainly through the application of formal methods
  • - Areas of Interest: Safe Reinforcement Learning, Logic-based Languages for Artificial Intelligence, The Specification and Verification of Multi-agent Systems, Strategic Reasoning under Imperfect Information
  • - Brief Introduction: Senior Lecturer at the Department of Computing, Imperial College London, focusing on Safe AI using formal methods.
Miscellany
  • - Contact: francesco[dot]belardinelli[at]imperial.ac.uk
  • - Address: Department of Computing, Imperial College London, 180 Queen's Gate, SW7 2AZ, London UK