Directory of Experts

Details for Professor Kerstin Eder

Personal details
Name Professor Kerstin Eder
Job title Professor of Computer Science
Department Department of Computer Science University of Bristol
Personal web page http://www.cs.bris.ac.uk/~eder
Contact details This expert can be contacted via the University of Bristol Public Relations Office.

To help us deal with your request, please mention the Directory of Experts when contacting the Public Relations Office.

work+44 (0)117 331 8092
email:
Qualifications Dipl-Inf (MEng in Computer Science), MSc, PhD(Bristol)
Professional details
Membership of professional bodies Association for Computing Machinery [ACM]
Keywords verification, validation and test
design automation and verification
formal verification and specification
energy aware computing
energy efficient computing
robotics
autonomous systems safety and trust
Areas of expertise I have established Design Automation and Verification as a research and teaching area of international recognition here at Bristol.

I set up and now chair the Energy-Aware COmputing workshop series and research initiative. I also lead the "Verification and Validation for Safety in Robots" research theme at the Bristol Robotics Laboratory.

My research activities are focused on the development of system modelling, verification and analysis techniques which allow designers to define a system and to verify or explore its behaviour, e.g. in terms of functional correctness, performance, power dissipation and energy efficiency. My work includes both formal methods and state-of-the-art test-based approaches.
Languages (other than English)
German spoken    written