Directory of Experts

Search by expertise

Note: searching with double quotes "" will find exact matches. Help with searching

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