ACM SIGDA Verification
Technical Committee
Introduction Sponsors Publications Resources Workshop News

Introduction

Members

* Chair
Jin Yang
· Affiliation Strategic CAD Labs, Design and Technology Solutions, TMG, Intel Corporation
* Vice-Chair
Carl Pixley
· Affiliation Synopsys Inc.
* Member
Thomas Ball
· Affiliation Software Reliability Research, Microsoft Research, Microsoft
Valeria Bertacco
· Affiliation Electrical Engineering and Computer Science, University of Michigan
Limor Fix
· Affiliation Intel Research Pittsburgh, Intel Corporation
Professor Tom Melham FRSE
· Affiliation The Computing Laboratory, Computer Science department, University of Oxford
Li-C. Wang
· Affiliation Department of ECE, University of Califonia at Santa Barbara
Association of Computing Machinery, Special Interest Group on Design Automation, Copyright (c) 2007.