Browse/search for people

Professor Kerstin Eder

Professor Kerstin Eder

Professor Kerstin Eder
Dipl-Inf (MEng in Computer Science), MSc, PhD(Bristol)

Professor of Computer Science

Area of research

Design Automation and Verification, Energy Efficient Computing, Verification and Validation for Safety in Robots

Office 3.25 MVB
Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
(See a map)

+44 (0) 117 954 5146


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.


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.


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



Department of Computer Science

Other sites

Research Groups

Recent publications

View complete publications list in the University of Bristol publications system


Professor Eder currently teaches 1 courses:

Edit this profile If you are Professor Kerstin Eder, you can edit this page. Login required.

PDF versionDownload PDF