pic

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, and B.Tech. (Hons.) in Computer Sc. and Engg. from IIT Kharagpur.

My old web page is here.

Research:

The complete list of publications can be found on the research page.

Recent Publications:



Misc. Talks: