A workshop on Formal Methods for Safe and Secure Medical devices was organized at School of Electrical Sciences, IIT Bhubaneswar from 10th -11th January 2020. The same has been sponsored under the Scheme for Promotion of Academic and Research Collaboration (SPARC), Govt. of India. The workshop covers about the formal methods based approaches used in the domain of medical devices. The workshop was inaugurated by Prof. Swarup Kumar Mahapatra, Dean Continuing Education, IIT Bhubaneswar. Prof. N.C. Sahoo, Head School of Electrical Sciences, IIT Bhubaneswar presided over the function. Also present on the occasion were Prof. Partha Roop, The University of Auckland, New Zealand, Dr. Mark Trew, The University of Auckland, New Zealand along with Col ( Dr.) Subodh Kumar, Registrar, IIT Bhubaneswar.
The event started with welcome address by Dr. Srinivas Pinisetty, Assistant Professor, IIT Bhubaneswar. The theme note of the workshop was presented by Prof. Partha Roop and Dr. Mark Trew. This was followed by an address by Prof. Swarup Kumar Mahapatra, Dean Continuing Education, IIT Bhubaneswar. Prof. N.C Sahoo, Head of School of Electrical Science greeted the audience and welcomed everyone.
The workshop included several guest talks, interactive sessions by eminent academicians. The topics of the workshop include Implantable Medical Devices (IMD) security and associated challenges, Introduction to formal methods for medical devices, Cardiac electrophysiology disease and pacing, computational models related to Cardiac electrophysiology, Formal Methods for safety and security IMDs, and Security issues in smart devices. The two day event included interesting talks by Prof. Partha Roop, The University of Auckland, New Zealand, Dr. Mark Trew, The University of Auckland, New Zealand, Prof. Manoj S Gaur, Director, IIT Jammu, Dr. M.S. Manikandan, IIT Bhubaneswar, and Dr. Srinivas Pinisetty, IIT Bhubaneswar. The event also included panel discussions towards the end.