Roopsha Samanta
Adjunct Assistant Professor at Purdue University
Based in New York, United States
7-day free trial · no credit card
Seniority
Staff
Department
Education
Location
New York
Industry
Higher Education
Company size
26K
Contact information
Reveal Roopsha's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
r•••••••@purdue.edu
Phone
5 credits+1 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Roopsha Samanta
I am a computer scientist interested in bridging research and practice in applied formal methods, program verification, and program synthesis. I was an Assistant Professor at Purdue University until recently, leading the Purdue Formal Methods group. Before joining Purdue in 2016, I completed my PhD at UT Austin in 2013 (with Allen Emerson) and was a postdoctoral researcher at IST Austria until 2016 (with Tom Henzinger). I am a recipient of a 2019 NSF CAREER award, a 2021 Amazon Research Award, and (along with my coauthors) a PLDI 2023 Distinguished Paper Award.
Decision-makers
Other people at Purdue University
- AOStaff
Adewumi Odeniran
Doctoral Researcher · Research & Development
- KGStaff
Kelly Guy
Diagnostic Imaging Technologist · Healthcare & Human Services
- IAOther
Iryna Ashby
Postdoctoral Research Associate and Instructional Designer · Other
- MGStaff
Morgan Garvey
Research Assistant · Science
- SLStaff
Susan Lipscomb
Senior Administrative Assistant · General Business & Management
Build a list of verified contacts at Purdue University
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Roopsha
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime