Browse/search for people

Professor Kerstin Eder


Kerstin is a Professor of Computer Science at the Department of Computer Science of the University of Bristol. She set up the Energy Aware COmputing (EACO) initiative ( and leads the Verification and Validation for Safety in Robots research theme at the Bristol Robotics Laboratory (

Her research is 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, performance and energy efficiency. Kerstin has gained extensive expertise in verifying complex microelectronic designs at leading semiconductor design and EDA companies. In her research she seeks novel combinations of formal methods with state-of-the-art simulation/test-based approaches to achieve solutions that make a difference in practice. 

Her most recent work includes Coverage-Driven Verification for robots that directly interact with humans and also for autonomous driving, using assertion checks and theorem proving to verify control system designs, energy modelling of software and static analysis to predict the energy consumption of programs. She is particularly interested in safety assurance for learning machines.

Kerstin has co-authored over 60 internationally refereed publications, was awarded a Royal Academy of Engineering "Excellence in Engineering" prize and manages a portfolio of research grants valued in excess of £2.3M. She is currently Principal Investigator on the UK EPSRC project "Robust Integrated Verification of Autonomous Systems", leads the Bristol contribution towards the H2020 TeamPlay project (, where we are developing novel eneryg modelling and resource-aware compilation techniques to enable more energy efficient computing for a variety of challenging application areas. In addition, Kerstin is the Bristol PI on two Innovate UK CAV projects, CAPRI ( and ROBOPILOT, where the Bristol researchers, in collaboration with BRL, investigate the use of AI for test generation to achieve a higher degree of automation in simulation-based verification for autonomous driving. She was the Bristol PI for the UK EPSRC project "Trustworthy Robotic Assistants" ( and also led the Bristol team working on the EC-funded Future and Emerging Technologies MINECC (Minimizing Energy Consumption of Computing to the Limit) research project ENTRA (Whole Systems Energy Transparency), developing techniques to promote energy efficiency to a first class software design goal.

Kerstin holds a PhD in Computational Logic, an MSc in Artificial Intelligence and an MEng in Informatics.