Our Community

Internal Members

Principal Investigator

• Insup Lee, CIS, UPenn

Research Program Manager

• (Liz) Wai Ping Ng, CIS, UPenn

Safety-Assured Software Development for Medical Devices

• Rajeev Alur, CIS, UPenn
• Insup Lee, CIS, UPenn
• Mats Heimdahl, CS&E, University of Minnesota
• Rahul Mangaharam, ESE, UPenn
• Oleg Sokolsky, CIS, UPenn
• Michael Whalen, CS&E, University of Minnesota

Physiological Closed-Loop Control

• Insup Lee, CIS, UPenn
• Rahul Mangaharam, ESE, UPenn
• George Pappas, ESE, UPenn

Smart Alarms, Clinical Decision Support

• C. William Hanson III, SoM/UPHS
• Ross Koppel, Sociology, UPenn
• Insup Lee, CIS, UPenn
• Margaret Mullen-Fortino, UPHS
• Soojin Park, SoM/UPHS
• Victoria Rich, UPHS

Medical Device Interoperability

• Sebastian Fischmeister, ECE/CIS, Waterloo/UPenn
• Julian M. Goldman, MGH/CIMIT
• Insup Lee, CIS, UPenn
• Oleg Sokolsky, CIS, UPenn

Medical Device Security

• Insup Lee, CIS, UPenn
• Nicholas Hopper, CS&E, University of Minnesota
• Yongdae Kim, CS&E, University of Minnesota and KAIST, Korea
• Mats Heimdahl, CS&E, University of Minnesota
• Michael Whalen, CS&E, University of Minnesota
• Sanjai Rayadurgam, CS&E, University of Minnesota

 Education

• Rita Powell, CIS, UPenn

Webmaster

• Valentina Sokolskaya, CIS, UPenn

Collaborators

NSF

•  Helen Gill
•  David Corman

FDA

• Paul Jones
• Yi Zhang
• Sandy Weininger

Kansas State University

• John Hatcliff

University of Illinois

• Lui Sha

DocBox, Inc.

• Tracy Rausch

Anakena Solutions

• Michael Robkin

International Collaborators

 DGIST, South Korea

• Sang H. Son
• Taejoon Park

 CHI-MED, United Kingdom

• Harold Thimbleby
• Paolo Masci