EPSRC logo
Researcher Details
Name: Dr F Belardinelli
Organisation: Imperial College London
Department: Computing
Current EPSRC-Supported Research Topics:
Artificial Intelligence Fundamentals of Computing
Human-Computer Interactions Software Engineering

Current EPSRC Support
EP/X015823/1 An Abstraction-based Technique for Safe Reinforcement Learning(P)
EP/S023356/1 UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence(C)
Previous EPSRC Support
EP/V009214/1 Strategy Logics for the Verification of Security Protocols(P)
EP/V008013/1 The Third International Workshop on Formal Methods in Artificial Intelligence(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator