Projects per year
Search results
-
Finished
UKRI Trustworthy Autonomous Systems Node In Functionality
Windsor, S. P. (Principal Investigator), Ives, J. C. S. (Co-Investigator), Downer, J. R. (Co-Investigator), Rossiter, J. M. (Co-Investigator), Eder, K. I. (Co-Investigator) & Hauert, S. (Co-Investigator)
1/11/20 → 30/04/24
Project: Research, Parent
-
Advanced Verification for Safe and Trustworthy Robotic Assistants
Eder, K. I. (Principal Investigator)
1/12/16 → 15/07/17
Project: Research
-
Newton Advanced Fellowship - Samuel Xavier de Souse
Eder, K. I. (Principal Investigator)
1/12/16 → 1/12/19
Project: Research
-
-
-
ICT-Energy: Co-ordinating Research Efforts of the ICT-Energy Community
Eder, K. I. (Principal Investigator)
1/10/13 → 30/09/16
Project: Research
-
BKSF: Bristol Kyoto Strategic Fund
Yamazaki, D. (Researcher), Hollis, S. J. (Principal Investigator), Kerrison, S. (Principal Investigator) & Eder, K. I. (Principal Investigator)
1/08/13 → 31/07/14
Project: Research
-
Trustworthy Robotic Assistants
Eder, K. I. (Principal Investigator)
23/04/13 → 23/10/16
Project: Research
-
RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)
Eder, K. I. (Principal Investigator)
21/01/13 → 20/06/19
Project: Research
-
(ENTRA) Whole-System ENergy TRAnsparency
Eder, K. I. (Principal Investigator)
1/10/12 → 1/01/16
Project: Research
-
MODELLING AND VERIFICATION OF INTERCONNECTS FOR SYSTEM ON-CHIP ARCHITECTURES
1/03/00 → 1/06/03
Project: Research