|
| Name: |
Professor K Eder |
| Organisation: |
University of Bristol |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Control Engineering
|
|
Ethics
|
Robotics & Autonomy
|
|
Software Engineering
|
|
|
| Current EPSRC Support |
| EP/V026518/1 | UKRI Trustworthy Autonomous Systems Node in Functionality | (C) |
|
| Previous EPSRC Support |
| EP/K006320/1 | Trustworthy Robotic Assistants | (P) |
| EP/J01205X/1 | RIVERAS: Robust Integrated Verification of Autonomous Systems | (P) |
| EP/E001556/1 | Reassessing Processor Design Assumptions in Cryptography | (C) |
| GR/S40855/01 | Logic Verification, Synthesis and Test in a New United Framework and Low Power Testable Designs | (C) |
| GR/M93758/01 | MODELLING AND VERIFICATION OF INTERCONNECTS FOR SYSTEM ON-CHIP ARCHITECTURES | (P) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|