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.