Click on an expert's name to see his or her full details. Click on a keyword to see experts in related fields.
|Dr Kerstin Eder|
|Post(s):||Reader in Design Automation and Verification, 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:||design verification | design automation | formal verification | formal specification | testbench automation | constrained pseudo-random test generation | energy aware computing | safe and trustworthy autonomous assistive robots|
University of Bristol
Senate House, Tyndall Avenue, Bristol BS8 1TH, UK. Tel: +44 (0)117 928 9000