EPSRC logo
Researcher Details
 
Name: Professor K Eder
Organisation: University of Bristol
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
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