Click on an expert's name to see his or her full details. Click on a keyword to see experts in related fields.
Professor Kerstin Eder | |
Post(s): | Professor of Computer Science, Department of Computer Science |
Areas of expertise: | I have established Design Automation and Verification as a research and teaching area of international recognition here at... |
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 |
University of Bristol
| Feedback
Senate House, Tyndall Avenue, Bristol BS8 1TH, UK. Tel: +44 (0)117 928 9000