profile-img
Ankush Desai

@ankushpd

Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw

calendar_today11-09-2015 00:05:46

546 Tweets

829 Followers

750 Following

Ankush Desai(@ankushpd) 's Twitter Profile Photo
Ankush Desai
@ankushpd

6 months ago

There is an awesome tutorials on formal methods at SOSP 2023 (on the P framework). If you are at SOSP please do attend!!

p-org.github.io/p-tutorials-so…

account_circle