Skip to content Skip to navigation
Professor Kerstin Eder profile photo

Professor Kerstin Eder


University of Bristol

0 blog posts

Kerstin Eder is Professor of Computer Science at the University of Bristol, heads the Trustworthy Systems Laboratory ( and leads the Verification & Validation for Safety in Robots research theme at the Bristol Robotics Laboratory. Her expertise is in simulation-based testing and formal methods to gain confidence in the trustworthiness of complex systems from semiconductor designs and cyber-physical systems to human-assistive robots and automated vehicles. Her research is focused on novel modelling, analysis and combinations of techniques to achieve solutions that make a difference in practice, including functional correctness, safety and security properties as well as power dissipation and energy consumption. Kerstin has co-authored over 80 internationally refereed publications, was awarded a Royal Academy of Engineering "Excellence in Engineering" prize and has experience in managing research grants valued in excess of £4M. She has been PI of the EPSRC projects "Robust Integrated Verification of Autonomous Systems" (EP/J01205X/1) and "Trustworthy Robotic Assistants" (EP/K006320/1). She led the Bristol contribution towards the H2020 TeamPlay project ( and was the Bristol PI on the Innovate UK Connected and Autonomous Vehicles projects CAPRI and ROBOPILOT. As CoI in the UKRI Trustworthy Autonomous Systems Node in Functionality she leads the research on Verification for Systems with Evolving Functionality. Kerstin holds a PhD in Computational Logic, an MSc in Artificial Intelligence and an MEng in Informatics. In 2007, she was awarded a Royal Academy of Engineering "Excellence in Engineering" prize.