Affidivation:

University of Pennsylvania

NSF Directorate:

CISE

Gender:

M

Award Year:

2013

Citation:

For inventing a new formal methodology to test and verify the correct operation of medical device software, saving lives and reducing care costs