Nishant Sinha

Research Staff Member
System Analysis and Verification Group
NEC Labs, USA

off: 4 Independence Way, Suite 200, Princeton, NJ 08540
ph: 609-951-2720
fax: 609-951-2483
email: nishants nec-labs com

I work as a Research Staff Member in the System Analysis and Verification group at NEC Labs, Princeton. My interests lie in analysis algorithms for sequential and concurrent programs, automated compositional analysis, rewriting and decision procedures.

I obtained my Ph.D. and M.S. in Computer Engineering from ECE, CMU in 2007 and 2003 respectively, and B.Tech. (Hons.) in Computer Sc. and Engg. from IIT Kharagpur in 2001.

My old web page is here.

Research:

Details of my research can be found on the research page.

Recent Publications:

[FMCAD'08] Symbolic Program Analysis using Term Rewriting and Generalization, Nishant Sinha, Nov. 2008.
[FMSD'08] Verification of Evolving Software via Component Substitutability Analysis, Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha.

Misc. Talks:

(ppt) Symbolic Program Analysis using Term Rewriting and Generalization, FMCAD, Nov 2008.