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 'design automation and verification'

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