Insup Lee
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,[1] IEEE,[2] and AAAS.[3]
Awards and honors
- Runtime Verification Test-of-Time Award,[4] 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).
- IEEE TC-RTS Outstanding Technical Achievement and Leadership Award,[5] issued Dec 2008.
- The Edward M. Kennedy Award for Health Care Innovation,[6] issued by CIMIT in 2007 for the Medical Device “PnP” Interoperability Team - Julian Goldman (leader), Dave Arney, Insup Lee, et al.
References
- ^ "Insup Lee Named ACM Fellow". Penn Engineering.
- ^ "Insup Lee Member Profile". IEEE Fellows Directory. Institute of Electrical and Electronics Engineers.
- ^ "Insup Lee Elected 2022 AAAS Fellows". Penn PRECISE Center.
- ^ "Test of Time Awards". Runtime Verification.
- ^ "Achievement and Leadership Awards". Technical Committee on Real-Time Systems (TCRTS). Institute of Electrical and Electronics Engineers.
- ^ "CIMIT Announces Winner of Kennedy Healthcare Innovation Award". Newswise. 8 January 2008.
External links
- Insup Lee homepage
- Insup Lee publications indexed by Google Scholar
- Articles with short description
- Short description is different from Wikidata
- Use dmy dates from January 2021
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- University of Pennsylvania faculty
- Formal methods people
- American computer scientists
- 2017 Fellows of the Association for Computing Machinery
- Fellows of the IEEE
- Year of birth missing (living people)
- Living people