Regular biography
Insup Lee is a Committee Member at the University of Pennsylvania, affiliated with the Department of Electrical and Systems Engineering. He is also associated with the Computer and Information Science department. Lee serves as the Director of the PRECISE Center and Co-Director of the Penn Health-Tech initiative. His research interests are not explicitly detailed in the provided information. His contact details include an email address: lee@cis.upenn.edu, and a personal website: https://directory.seas.upenn.edu/insup-lee/.
Scholar-generated biography
Insup Lee is a Professor in the Computer and Information Science department at the University of Pennsylvania, specializing in real-time systems, real-time embedded systems, cyber-physical systems, runtime verification, and trust management. His research focuses on developing formal methods and verification techniques for ensuring safety and reliability in complex systems. Key areas include compositional real-time scheduling, runtime assurance, hybrid systems, and attack-resilient state estimation. His work addresses challenges in medical cyber-physical systems, multi-robot coordination, and secure system design. Lee's contributions emphasize the integration of formal verification with practical system design to enhance robustness and trust in critical applications.