19952020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

My research activities are focused on specification, verification and analysis techniques which allow engineers to design a system and to verify/explore its behaviour in terms of functional correctness, safety, performance, power consumption and energy efficiency. My work includes both formal methods and traditional simulation-based approaches. I have a strong background in computational logic, especially formal verification, declarative programming languages and their implementation, abstract machines, compilation techniques and meta programming.

Now that I am fully back after parental leave, I have re-started my research with three new funded research projects.

I am engaged in new research that explores Energy Transparency from hardware to software over the entire system stack. The ENTRA (Whole Systems Energy Transparency) project is funded by the EC under the recent FP7 FET call on Minimizing Energy Consumption of Computing to the Limit (MINECC).

I am also active at the Bristol Robotics Lab advancing the state of the art in verification of autonomous assistive robots, including robotis directly involved in interactions with humans. The EPSRC is funding two new projects in this area.

An area of ongoing research interest of mine is the application of machine learning techniques in order to automate the parts within the verification process that consume large amounts of engineering time, such as test generation and debug.

Teaching

I teach leading edge Design Verification techniques and methods using industrial strength tools including both state-of-the-art coverage-driven simulation/test-based verification and formal verification. You may want to watch an interview I gave at DAC 2012 in San Francisco on the content of the Design Verification unit.
Since 2007 Bristol has been selected as lead university to head the Cadence Academic Network in the area of Advanced Verification Methodology. (local CAN info)

In collaboration with a consortium of local microelectronic design companies I have initiated the introduction of the MSc in Advanced Microelectronic Systems Engineering in 2006. I have been the Director of this MSc programme until 2010. The programme is now one of our established Advanced MSc programmes; it attracts excellent students and provides qualified graduates for the local and international microelectronics design industry.

Expertise

I have established Design Automation and Verification as a research and teaching area of international recognition here at Bristol. I set up and now chair the Energy-Aware COmputing workshop series and research initiative. I also lead the "Verification and Validation for Safety in Robots" research theme at the Bristol Robotics Laboratory. My research activities are focused on the development of system modelling, verification and analysis techniques which allow designers to define a system and to verify or explore its behaviour, e.g. in terms of functional correctness, performance, power dissipation and energy efficiency. My work includes both formal methods and state-of-the-art test-based approaches.

  • verification; validation and test
  • design automation and verification
  • formal verification and specification
  • energy aware computing
  • energy efficient computing
  • robotics
  • autonomous systems safety and trust

Keywords

  • verification
  • simulation
  • test
  • formal methods
  • modelling
  • certification
  • robot safety

Fingerprint Dive into the research topics where Kerstin I Eder is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

8030 EPSRC INTERNATIONAL STRATEGIC F

Eder, K. I.

1/08/16 → …

Project: Research

8030 H2020 TeamPlay 779882

Eder, K. I.

1/08/16 → …

Project: Research, Parent

Research Output

An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification

Chance, G., Ghobrial, A., Lemaignan, S., Pipe, T. & Eder, K. I., 16 Apr 2020. 8 p.

Research output: Contribution to conferenceConference Paper

Open Access
File
  • 16 Downloads (Pure)

    A Corroborative Approach to Verification and Validation of Human–Robot Teams

    Webster, M., Western, D., Araiza Illan, D., Dixon, C., Eder, K. I., Fisher, M. & Pipe, A. G., 25 Nov 2019, In : International Journal of Robotics Research (IJRR). 27 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 81 Downloads (Pure)

    On the impact of different types of errors on trust in human-robot interaction: Are laboratory-based HRI experiments trustworthy?

    Flook, R., Shrinah, A., Wijnen, L., Eder, K., Melhuish, C. & Lemaignan, S., 18 Nov 2019, In : Interaction Studies. 20, 3, p. 455-486 32 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 1 Citation (Scopus)
    65 Downloads (Pure)

    Datasets

    BiB - Believing in BERT

    Pipe, T. (Creator), Eder, K. I. (Creator), Bianchi-Berthouze, N. (Creator), Hamacher, A. (Creator) & Eder, K. I. (Data Manager), University of Bristol, 20 Jun 2016

    Dataset

    BiB - Believing in BERT

    Pipe, A. G. (Creator), Hamacher, A. (Creator), Bianchi-Berthouze, N. (Creator), Eder, K. I. (Creator) & Eder, K. I. (Data Manager), University of Bristol, 22 Jun 2016

    Dataset

    Activities

    • 1 Participation in workshop, seminar, course

    BGER Energy-Aware COmputing (EACO) Workshop

    Kerstin I Eder (Chair)

    26 Mar 201327 Mar 2013

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    Supervised Work

    EMA: Implementing the Rewriting Computational Model of Escher

    Author: Eder, K. I., 1998

    Supervisor: Lloyd, J. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

    Inductive Logic Programming for Compiler Tuning

    Author: Blackmore, C., 6 Jun 2019

    Supervisor: Ray, O. (Supervisor) & Eder, K. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

    File

    Meta-Programming for Knowledge Base Systems

    Author: Eder, K. I., 1994

    Student thesis: Master's ThesisMaster of Science (MSc)