Kerstin Eder
Dr Kerstin Eder is a Reader at the University of Bristol, specializing in Design Automation and Verification. She started the Energy Aware Computing (EACO) initiative at Bristol and chairs the EACO workshop series (http://www.cs.bris.ac.uk/Research/Micro/eaco.jsp). Kerstin is the lead researcher for the machine learning aspects of the MAGEEC project (http://mageec.org/) and the principal investigator at Bristol for the ENTRA project (http://entraproject.eu/).
Dr 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. Her research is focused on specification, verification and analysis techniques that allow engineers to design a system and to verify/explore its behaviour in terms of functional correctness, performance, power dissipation and energy efficiency. She has been active in Design Verification since 1997 and has well established working relationships with world-class semiconductor design and Electronic Design Automation companies through joint research, consultancy and teaching at the leading edge of microelectronic design and verification.
In October 2010 she obtained a one year Royal Academy of Engineering Industrial Fellowship to investigate energy-efficient system design at XMOS Ltd. Motivated by early insights from this Fellowship, she set up the Energy-Aware COmputing (EACO) initiative at Bristol in January 2011. EACO provides a platform for academic-industrial knowledge exchange and collaboration. She now chairs the associated EACO Workshop series, which benefits from strong industrial engagement. At Bristol, Kerstin is the Principal Investigator of the EC FP7 FET MINECC (Minimizing Energy Consumption of Computing to the Limit) collaborative research project “Whole Systems Energy Transparency (ENTRA)” which aims to promote energy efficiency to a first class software design goal by enabling energy transparency from hardware to software. Her research team is developing energy consumption models and static analysis techniques that feed into the compiler tool chain.
At the Bristol Robotics Laboratory she develops approaches towards certification of autonomous systems; she has recently kick-started two new EPSRC funded research projects, one on Verification of Autonomous Systems and one on Safety of Human Assistive Robots. Kerstin has authored over 30 technical publications, currently holds grants as Principal Investigator valued in excess of £1.7M, and has been awarded a Royal Academy of Engineering prize for “Excellence in Engineering” in 2007.