Ankush Desai is a Senior Applied Scientist in the Database Services (DBS) group at AWS. He is currently working on
building formal tools and techniques that help developers reason about the correctness of complex distributed
services across AWS (S3, DBS, EBS,). These techniques range from lightweight approaches like model checking, to
systematic testing, to more rigorous deductive verification that provides mathematical proofs. . Before joining the DBS
group, Ankush was part of the S3 team and worked on the Amazon S3's Strong Consistency project.

Ankush graduated with a PhD in computer science from UC, Berkeley (2019). His PhD. research had an impact both
in Industry and Academia for which he was awarded the Sevin Rosen Funds Award for Innovation. Before joining
graduate school, Ankush spent 2+ years working at Microsoft Research, India working on formal verification of
device drivers and distributed systems. Webpage: https://ankushdesai.github.io/