Home
	Research
	Publications
	Patents
	Professional Activities
	Personal

Program Committee Membership

24^th ACM Symposium on Applied Computing (SAC) – Embedded Systems Track, Mar 2009.

IEEE/ACM International Conference on Computer-aided Design (ICCAD) – Nov 2008

11^th Design, Automation, and Test in Europe (DATE) – Mar 2008

7th International Workshop on Parallel and Distributed Methods in verification (PDMC) – Mar 2008

6^th Formal Methods in Computer-aided Design (FMCAD) – Nov 2006

Organization Committee

Embedded ICCAD Tutorial (2008) - Embedded Software Verification: Challenges and Solutions

Session Chairs

6^th International Conferences on Software Engineering and Formal Methods (SEFM) – Nov 2008.

4^th Haifa Verification Conference (HVC) – Oct 2008.

7^th Formal Methods in Computer-aided Design (FMCAD) – Nov 2007

IEEE

Senior Member

METSAC representative: 2008-present

NEC Laboratories America, Inc.
Princeton Campus - 4 Independence Way, Suite 200, Princeton NJ 08540
Cupertino Campus - 10080 North Wolfe Road, Suite SW3-350, Cupertino, CA 95014

webmaster@nec-labs.com