EPSRC logo
Researcher Details
 
Name: Professor K Eder
Organisation: University of Bristol
Department: Computer Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Design Engineering
Manufact. Enterprise Ops& Mgmt Manufacturing Machine & Plant
Networks & Distributed Systems Robotics & Autonomy
Statistics & Appl. Probability

Current EPSRC Support
EP/Y029763/1 AI for Productive Research & Innovation in eLectronics (APRIL) Hub(C)
EP/V062158/1 Made Smarter Innovation - Research Centre for Smart, Collaborative Industrial Robotics(C)
Previous EPSRC Support
EP/V026518/1 UKRI Trustworthy Autonomous Systems Node in Functionality(C)
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