Search: 
 
 GSRC Member Directory

Search for ...    in
Arnab Sinha
    Princeton University

Username:arnabsinha
Email:sinha@princeton.edu
(To view user contact information, please log in.)
Home page:http://www.princeton.edu/~sinha
Bio:Arnab Sinha received his Integrated B.Tech and M.Tech (Dual) degrees from the Dept. of Computer Science and Engineering, IIT Kharagpur in 2007. Currently, he is a PhD candidate in the Dept. of Electrical Engineering, Princeton University. His interests lie in formal verification and runtime validation of concurrent software.
Papers
Group memberships
You are not logged in
©1998-2012 GSRC