Our Team

Prof.Rahul Mangharam Stephen J. Angelo Term Chair Assistant Professor

Donec id elit non mi porta gravida at eget metus. Fusce dapibus, justo sit amet risus etiam porta sem...

Zhihao Jiang Ph.D Candidate

Zhihao Jiang is main developer of the Virtual Heart Model (VHM) and the main researcher of the Pacemaker Verification project.

Miroslav Pajic Postdoctoral Fellow

Miroslav Pajic is the main developer of the UPP2SF model translation tool, and the main researcher of the Model-based Design framework.

Prof. Insup Lee Cecilia Fitler Moore Professor, University of Pennsylvania

 

Prof. Rajeev Alur Zisman Family Professor, University of Pennsylvania

 

Prof. Oleg Sokolsky Research Associate Professor, University of Pennsylvania

 

Dr. Sanjay Dixit Director, Cardiac Electrophysiology, Philadelphia VA Medical Center

 

Allison Connolly Ph.D Candidate, University of Minnesota

Allison actively participated in the development of Virtual Heart Model (VHM) during her visits in mLab.

Varun Sampath System Software Engineer at NVIDIA

Varun was part of the undergrad team who built the Heart On a Chip platform and won the 1st Prize in the World Embedded Software Contest (WESC)

Sriram Radhakrishnan Hardware Engineer at Oracle

Sriram was part of the undergrad team who built the Heart On a Chip platform and won the 1st Prize in the World Embedded Software Contest (WESC)

Shilpa Sarode Embedded Electrical Engineer at Lutron Electronics

Shilpa was part of the undergrad team who built the Heart On a Chip platform and won the 1st Prize in the World Embedded Software Contest (WESC)