|
| 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
|
| |
|
|
|
|