Insup Lee
{{short description|American computer scientist}}
{{Use dmy dates|date=January 2021}}
Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. He is also the Director and co-founder of the PRECISE Center.
Lee obtained his B.S. in mathematics from the University of North Carolina at Chapel Hill in 1977, followed by his M.S. and Ph.D. in Computer Science at the University of Wisconsin-Madison in 1983. That same year, he joined the University of Pennsylvania as an assistant professor. Lee's research is predominantly focused on cyber-physical systems (CPS), real-time computing, high-confidence medical devices, formal methods and tools, and run-time verification. Much of his recent work has been related to CPS security, particularly for medical devices. Lee is also a Fellow of the ACM,{{cite web |title=Insup Lee Named ACM Fellow |url=https://news.seas.upenn.edu/insup-lee-named-acm-fellow/ |website=Penn Engineering}} IEEE,{{cite web |title=Insup Lee Member Profile |url=https://services27.ieee.org/fellowsdirectory/getdetailprofile.html?custNum=SCq3KAq5q%2Bq0gjQHUWc4%2BQ%3D%3D |website=IEEE Fellows Directory |publisher=Institute of Electrical and Electronics Engineers}} and AAAS.{{cite web |title=Insup Lee Elected 2022 AAAS Fellows |url=https://precise.seas.upenn.edu/news/20230131-insup-lee-elected-2022-aaas-fellows |website=Penn PRECISE Center}}
Awards and honors
- IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Distinguished Leadership Award, 2023. For exceptional contributions to establishing cyber-physical systems as a scientific discipline and continued growth of the community; for pioneering research and leadership in medical cyber-physical systems.{{Cite web |title=TC-CPS |url=https://www.cse.cuhk.edu.hk/~byu/TC-CCPS/award.html |archive-url=http://web.archive.org/web/20250121011957/https://www.cse.cuhk.edu.hk/~byu/TC-CCPS/award.html |archive-date=2025-01-21 |access-date=2025-04-04 |website=www.cse.cuhk.edu.hk |language=en}}
- AAAS Fellow, 2022. For foundational contributions to the theory and implementation of real-time compositional scheduling and runtime verification.{{Cite web |title=2022 AAAS Fellows {{!}} American Association for the Advancement of Science (AAAS) |url=https://www.aaas.org/page/2022-fellows-0 |access-date=2025-04-04 |website=www.aaas.org |language=en}}
- ACM SIGBED Inaugural Distinguished Leadership Award, 2022. For leadership in promoting cross-fertilization of ACM and IEEE communities in Cyber-Physical Systems, Embedded Systems, and Real-Time Systems.
- IEEE Life Fellow, 1 January 2021.
- Runtime Verification Test-of-Time Award,{{cite web |title=Test of Time Awards |url=https://runtime-verification.github.io/index.html |website=Runtime Verification}} issued 2019 for ENTCS 2001 paper "Jav-MaC: Run-time Assurance Tool for Java Programs" (with Oleg Sokolsky, Sampath Kannan, Moonzoo Kim, and Mahesh Viswanathan).
- Deans' Distinguished Visiting Professorship, Perelman School of Medicine, University of Pennsylvania, 17 January 2019.
- ACM Fellow, 2017. For theoretical and practical contributions to compositional real-time scheduling and runtime verification.
- Member, NRC's Committee on 21st Century Cyber-Physical Systems Education, 2014-2015.
- Appreciation Plaque, Ministry of Science, IT and Future Planning, South Korea, 9 August 2013.
- IEEE TC-RTS Outstanding Technical Achievement and Leadership Award,{{cite web |title=Achievement and Leadership Awards |url=https://cmte.ieee.org/tcrts/awards/achievement-and-leadership-awards/ |website=Technical Committee on Real-Time Systems (TCRTS) |publisher=Institute of Electrical and Electronics Engineers}} issued Dec 2008.
- The Edward M. Kennedy Award for Health Care Innovation,{{cite news |title=CIMIT Announces Winner of Kennedy Healthcare Innovation Award |url=https://www.newswise.com/articles/cimit-announces-winner-of-kennedy-healthcare-innovation-award |publisher=Newswise |date=8 January 2008}} issued by CIMIT in 2007 for the Medical Device “PnP” Interoperability Team - Julian Goldman (leader), Dave Arney, Insup Lee, et al.
- Member, President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (NIT) Technical Advisory Group (TAG), 2006-2007.
- DVP Speaker of IEEE Computer Society Distinguished Visitors Program (DVP), 2004-2006.
- IEEE Fellow, 2001, For contributions to the specification languages and verification tools for real-time systems.
Former PhD Students
| class="wikitable mw-collapsible mw-collapsed"
|+ !Name !Dissertation !Date of Graduation !Notes |
| David Smitley
|The Utilization of Processors Interconnected with a Reconfigurable Network |May 1987 | |
| Amy Zwarico
|An Algebraic Model for Communicating Time-Dependent Processes |May 1988 | |
| Richard Gerber
|Communicating Shared Resources: A Model for Distributed Real-Time Systems |August 1991 |Received the Morris and Dorothy Rubinoff Award for the Best CIS Ph.D. dissertation, 1992 |
| Victor Wolfe
|Supporting Real-Time Concurrency |August 1991 |Co-advised with Susan B. Davidson |
| Robert King
|Design, Implementation and Evaluation of a Real-Time Kernel for Distributed Robotics |December 1991 | |
| Patrice Bremond-Gregoire
|A Process Algebra of Communicating Shared Resources with Dense Time and Priorities |May 1994 | |
| Hanene Bed-Abdallah
|GCSR: a Graphical Language for the Specification, Refinement and Analysis of Real-Time Systems |August 1996 |Co-advised with Susan B. Davidson |
| Duncan Clarke
|Testing Real-Time Constraints |December 1996 | |
| Inhye Kang
|Real-Time System Analysis based on State-Space Exploration |May 1997 | |
| Hee Hwan Kwak
|Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems |February 2000 | |
| Mahesh Viswanathan
|Foundations for the Run-Time Analysis of Software Systems |September 2000 |Co-advised with Sampath Kannan Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 2001 |
| Moonjoo Kim
|Information Extraction for Run-time Formal Analysis |December 2001 |Co-advised with Sampath Kannan |
| Jia Wang
|Loss-Sensitive Decision Rules for Intrusion Detection and Response |July 2004 |Co-advised with Linda Zhao, Statistics Department |
| Insik Shin
|A Compositional Framework for Real-time Embedded Systems |August 2006 |Received the Morris and Dorothy Rubinoff Award for the best CIS Ph.D. dissertation, 2006 |
| Usa Sammapun
|Monitoring and Checking of Real-Time and Probabilistic Properties |May 2007 |Co-advised with Oleg Sokolsky |
| Michael May
|Privacy APIs: Formal Models For Analyzing Legal Privacy Requirements |May 2008 |Co-advised with Carl Gunter |
| Madhukar Anand
|Conditional Models for Compositional Design of Real-Time Embedded Systems |May 2008 | |
| Arvind Easwaran
|Advances in Hierarchical Real-Time Systems: Incrementality, Optimality, and Multiprocessor Clustering |December 2008 |Co-advised with Oleg Sokolsky |
| Nikhil Dinesh
|Regulatory Conformance: Logic and Logical Form |December 2010 |Co-advised with Aravind Joshi |
| Jian Chang
|Behavior-Centric Trust Management in Distributed Systems |May 2013 |Co-supervised with Sampath Kannan |
| Andrew G. West
|Damage Detection and Mitigation in Open Collaboration Applications |May 2013 |Co-supervised with Oleg Sokolsky |
| Zhuoyao Zhang
|Performance Modeling and Resource Management for MapReduce Applications |May 2014 |Co-supervised with Boon Tau Loo |
| BaekGyu Kim
|Safety-Assured Model-Based Development of Real-Time Embedded Software for the GPCA Infusion Pump |August 2015 |Co-supervised with Oleg Sokolsky |
| Andrew King
|Foundations for Safety-Critical On-Demand Medical Systems |May 2016 | |
| Bong Ho Kim
|Techniques for End-To-End TCP Performance Enhancement over Wireless Networks |August 2016 | |
| Sanjian Chen
|Model-Based Analysis of User Behaviors in Medical Cyber-Physical Systems |August 2016 | |
| Alexander Roederer
|Parameter Invariant Statistics and Their Application to Clinical Decision Support |Aug 2016 |Co-supervised with C. William Hanson III, MD |
| Jaewoo Lee
|Resource-Efficient Scheduling of Multiprocessor Mixed-Criticality Real-Time Systems |June 2017 |Co-supervised with Linh P.X. Phan |
| Radoslav Ivanov
|Context-Aware Sensor Fusion for Securing Cyber-Physical Systems |July 2017 |Co-supervised with James Weimer |
| Junkil Park
|Automatic Verification of Linear Controller Software |May 2017 |Co-supervised with Oleg Sokolsky |
| Meng Xu
|Cache-Aware Real-Time Virtualization |June 2018 |Co-supervised with Linh P.X. Phan |
| David Arney
|Medical Device Interoperability with Provable Safety Properties |May 2019 | |
| Sangdon Park
|Uncertainty Estimation toward Safe AI |August 2021 |Co-supervised with Osbert Bastani |
| Tang Zhang
|RV-enabled framework for self-adaptive software |August 2021 |Co-supervised with Oleg Sokolsky |
| Ramneet Kaur
|Screening Out-of-Distribution Inputs for Reliable AI Predictions |December 2023 |Co-supervised with Oleg Sokolsky |
| Matthew Cleaveland
|Scalable and Risk Aware Verification of Autonomous Systems |May 2024 |Co-supervised with George Pappas |
| Sydney Pugh
|Weakly-Supervised Evaluation of Medical AI Systems |August 2024 |Co-supervised with James Weimer |
Former Postdoc Fellows
| class="wikitable sortable mw-collapsible mw-collapsed"
|+ !Name |
| Amanda Watson |
| Anaheed Zaki |
| Anna Philippou |
| Deepak Gangadharan |
| Eunkyoung Jee |
| Fanxin Kong |
| Hyojin Jo |
| Hyon Young Choi |
| Hyoung Seok Hong |
| Ivan Ruchkin |
| James Weimer |
| Jesung Kim |
| Jin Hyun Kim |
| Jin-Young Choi |
| Jitka Stribrna |
| Krishna Venkatasubramanian |
| Kuk Jang |
| Li Tan |
| Lin Zhang |
| Linh Thi Xuan Phan |
| Lu Feng |
| Martin Leucker |
| Michele Caprio |
| Miroslav Pajic |
| Na Young Lee |
| Nicola Bezzo |
| Nima Roohi |
| Oleg Sokolsky |
| Sebastian Fischmeister |
| Souradeep Dutta |
| Vinayak Prabhu |
| Xian (Shawn) Li |
| Yiannis Kantaros |
References
{{reflist}}
External links
- [https://www.cis.upenn.edu/~lee/ Insup Lee homepage]
- {{GoogleScholar|qPlUgrgAAAAJ}}
{{Authority control}}
{{DEFAULTSORT:Lee, Insup}}
Category:University of Pennsylvania faculty
Category:Formal methods people
Category:American computer scientists
Category:2017 fellows of the Association for Computing Machinery
Category:Year of birth missing (living people)
Category:University of Pennsylvania Department of Computer and Information Science faculty