Ankush Desai
@ankushpd
Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
ID:3520755792
http://ankushdesai.com 11-09-2015 00:05:46
565 Tweets
866 Followers
759 Following
Tisan Das Vipul Vaibhaw At AWS re:Invent Ankush Desai gave an enlightening and inspiring presentation that will have you at the edge of your seat 🎓
dtornow225.substack.com/p/issue-47-sys…
Interested in adopting formal methods, or exploring how they can help you and your team move faster? Check out this talk from Ankush Desai and Bikash Behera from #reinvent2023 : youtube.com/watch?v=FdXZXn…
Had a very productive week at Schloss Dagstuhl, discussing how we can make database systems more reliable. Thanks to the co-organizers, Hannes Mühleisen, Danica Porobic, and Alexander Boehm, as well as all the attendees! dagstuhl.de/de/seminars/se…
Enjoyed our stay at the Dagstuhl castle. Lots of fun collaborations to be started soon for making databases reliable and robust :)
Thanks Umang Mathur, Manuel Rigger and others.
I've been geeking out on P today – I built a small model of a Durable Promise (👋 Dominik Tornow). Can you spot the problem without running the checker?
github.com/pcholakov/p-pr…
I've used TLA+ before, and this is markedly more approachable! Kudos Ankush Desai, Peasy is slick!