Directory of Experts

Search by expertise


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

Browse for an expert by keyword

Browse for an expert by surname



Experts in 'autonomous systems safety and trust'

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