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: public-relations@bristol.ac.uk |
||
| Qualifications | MSc, Ph.D.(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) |
|
||