conf.researchr.org / Spandan Das
![Spandan Das](https://conf.researchr.org/getProfileImage/spandandas/32b4e7b6-6e02-498c-8e20-ccefbe3fb2d3/small.jpg?1711511266000)
Registered user since Sun 22 Aug 2021
Name:Spandan Das
Country:India
Affiliation:Kansas State University
Research interests:probability, logic, automated verification, distributed systems
Contributions
Registered user since Sun 22 Aug 2021
Contributions