Ankush Desai is a Senior Applied Scientist in the Database Services (DBS) group at AWS. He is currently working onbuilding formal tools and techniques that help developers reason about the correctness of complex distributedservices across AWS (S3, DBS, EBS,). These techniques range...
Read More →