Senior Applied Scientist @ AWS
-
Amazon Web Services
- Cupertino, CA
- http://ankushdesai.com
- @ankushpd
Highlights
- Pro
- 2 discussions answered
Block or Report
Block or report ankushdesai
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
ZingModelChecker/Zing Public
Zing : An explicit state model checker for concurrent and message passing programs.
-
-
281 contributions in the last year
Activity overview
Contributed to
p-org/P,
ankushdesai/ankushdesai.github.io,
awslabs/aws-soter
and 2 other
repositories