David Arney is the Lead Engineer for the Medical Device Plug and Play Program. He has been working on applying formal methods to medical device software since 2001 and was a scholar in residence at the FDA's Center for Devices and Radiological Health in the Office of Science and Engineering Laboratories. He was involved in writing the ASTM 2761-09 ICE standard for interoperable medical devices. He started at the MD PnP program in September of 2010, and is currently writing his dissertation for a PhD in computer science under Professor Insup Lee at the University of Pennsylvania.