Kerstin Eder is a Reader in Design Automation and Verification at the University of Bristol. She holds a PhD in Computational Logic, an MSc in Artificial Intelligence and an MEng in Informatics. She has been active in Design Verification since 1997, gaining experience in both academic research and during regular industrial secondments where she joined verification teams as design verification engineer. At the University of Bristol Kerstin introduced the Design Verification curriculum at Master level in 2002, teaching state-of-the-art verification techniques supported by labs with industrial verification tools. Her research includes specification, verification and analysis methods that allow designers to define a system and to verify/explore its behaviour in terms of functional correctness, performance, power consumption and energy efficiency. She has recently launched a series of workshops on Energy-Aware Computing (EACO). At the Bristol Robotics Laboratory she develops approaches towards certification of autonomous systems. In the next six months Kerstin is kick-starting three new research projects, one on Whole System Energy Transparency, one on Verification of Autonomous Systems and one on Safety of Human Assistive Robots.
At TVS Kerstin provides consultancy to develop professional training materials for the latest dynamic and static verification methods and contributes to the development of advanced verification methodologies.
Please feel free to Contact Me.