
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
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
View general profile