Write a Blog >>
Roopsha Samanta

Registered user since Tue 14 Jul 2015

Name:Roopsha Samanta
Affiliation:Purdue University
Research interests:Program synthesis, concurrency, robustness analysis

Contributions

PLMW 2017 Career paths in Computer Science
Speaker in Mentors within the PLMW-track
Formal methods research: The what, the why and the how
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile