Overview
People
Projects
Reading Group
PhD Admissions
Computer Science
Local Only Area

 

Design Automation and Verification Group News
  • Bristol takes the lead in Advanced Verification:

    Cadence has selected the University of Bristol to be a lead university in Advanced Verification to head the Cadence Academic Network in Europe. Dr Kerstin Eder, Senior Lecturer in Computer Science, has been invited to present her pioneering work in setting up Design Verification within a Computer Science degree programme at the Cadence Academic Network Symposium in April 2008.
    Full Story