Description:
Insup's research interests are in Internet of Medical Things (IoMT) and Cyber Physical Systems (CPS), which increasingly affect our daily lives. His research goals are to ensure and improve the correctness, safety, timeliness, trustworthiness, and compositionality of IoMT and CPS systems. Insup has been developing techniques and tools for compositional real-time scheduling, middleware, model-based development, quantitative trust management, and run-time verification. He has also been transitioning his research results into practice by applying them to safety-critical embedded systems and high-confidence medical device systems.
Current projects can be found here: http://www.cis.upenn.edu/~lee/home/research/index.shtml
Insup Lee, Ph.D., Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of PRECISE Center (https://precise.seas.upenn.edu/research/medical); lee@cis.upenn.edu; 602 Levine Hall
Preferred Qualifications
To be determined based on available projects
Details:
Preferred Student Year
First-year, Second-Year, Junior, Senior
Volunteer
Yes
Yes indicates that faculty are open to volunteers.Paid
Yes
Yes indicates that faculty are open to paying students they engage in their research, regardless of their work-study eligibility.Work Study
Yes
Yes indicates that faculty are open to hiring work-study-eligible students.