Zhihao “Hao” Jiang
zhihaoj <at> seas.upenn.edu
Life is short, art is long.
As new technologies emerge, Cyber-Physical Systems like the medical devices are becoming more powerful in terms of functionality. The complexity of their software is increasing, so does the chance of safety-issues. My research focuses on incorporating formal methods and testing techniques to ensure the safety of software in safety-critical systems like medical devices. Currently I’m working on Validation & Verification of medical device software with specialty in Implantable Cardiac Devices like implantable pacemaker. The details of my research are listed below:
In my spare time, I participate in variety of outdoor activities.