Insup Lee

Cecilia Fitler Moore Professor

Computer and Information Science

Electrical and Systems Engineering

Director, PRECISE Center

Co-Director, Penn Health-Tech

Office: Levine Hall, 602

Research Areas

  • Cyber-physical Systems
  • Real-time and Embedded Systems
  • Safe Autonomy
  • Runtime Assurance and Veriļ¬cation
  • Internet of medical things
  • Connected health

Awards

2023: IEEE TCCPS Distinguished Leadership Award

2022: Fellow of the AAAS

2019: Best Paper Award, MEMOCODE

2019: Test of Time Award, Runtime Verification

2017: Fellow of the ACM

2016: Best Paper Award, IEEE International Conference on Cyber-Physical Systems, Networks, and Applications

2014: Best Paper Award, ACM/IEEE International Conference on Cyber-Physical Systems

2013: Appreciation Plaque, Ministry of Science, IT and Future Planning, South Korea

2012: Best Paper Award, IEEE Real-Time Systems Symposium

2012: Best Student Paper Award, IEEE Real-Time and Embedded Technology and Applications Symposium

2011: Korean Computer Scientists and Engineers Association in America Appreciation Award

2011: Best Paper Award, Annual Collaboration, Electronic messaging, Anti-Abuse and Spam Conference

Projects/Papers

Benchmarking LLM Guardrails in Handling Multilingual Toxicity
Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning
Methods, systems, and computer readable media for managing medical devices

Students

PhDs:

Eric Lu (co-advised with Oleg Sokolsky)

Kaustubh Sridhar

Sooyong Jang

Shuo Li (co-advised with Osbert Bastani)

Xiayan Ji (co-advised with Oleg Sokolsky)

Wenwen Si

Dagaen Golomb (co-advised with Oleg Sokolsky)

Ahhyun Yuh

Jean Park (co-advised with Kevin Johnson)