Registered user since Tue 14 Jul 2015

Name: Roopsha Samanta

Affiliation: Purdue University

Personal website: https://www.cs.purdue.edu/homes/roopsha/

Research interests: Program synthesis, concurrency, robustness analysis

Contributions