|
Name: |
Professor AR Lomuscio |
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/T026731/1 | SAIS: Secure AI assistantS | (P) |
EP/S023356/1 | UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence | (C) |
|
Previous EPSRC Support |
EP/I00520X/1 | Trusted Autonomous Systems | (P) |
EP/E02727X/1 | METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES | (P) |
EP/E035655/1 | Verification of security protocols: a multi-agent systems approach | (P) |
GR/S49353/02 | Model checking multi-agent systems | (P) |
GR/S49353/01 | Model checking multi-agent systems | (P) |
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
|
|
|
|