Note:
JavaScript is disabled
, see the
Site Map
for navigation links
Search:
GSRC Member Directory
Search for ...
in
Email
Full Name
Last Name
Username
Divjyot Sethi
Princeton University
Username:
dsethi
(To view user contact information, please
log in
.)
Home page:
Bio:
Divjyot Sethi received his B.Tech from the Dept. of Electrical Engineering, IIT Delhi in 2007. Currently, he is a PhD candidate at Princeton University. His interests are in formal verification and modeling of concurrent software and hardware systems.
Papers
Group memberships
You are not logged in
©1998-2012 GSRC
