---

Currently I’m a PhD candidate in the department of Computer & Information Science in University of Pennsylvania. I’m working with Prof. Rahul Mangharam in the Real-time Embedded System Lab (mLab).

Education

---

Research Interest

---

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:

Publications

---

Personal Interests

---

In my spare time, I participate in variety of outdoor activities.