Rahul
Mangharam
University of Pennsylvania
2013
For inventing a new formal methodology to test and verify the correct operation of medical device software, saving lives and reducing care costs
Directorate for Computer and Information Science and Engineering (CISE)