Professor Roopsha Samanta wins an #AmazonResearchAward for her project, Discover[i] which aims to tackle the challenge of verifying unbounded distributed systems through modular and bounded verification. #PurdueUniveristy #PurdueCS
Purdue Computer Science
@PurdueCS
The Persistent Pursuit of Innovation and Creativity through Computing.
#TheNextGiantLeap
