| 2019 |
|
| November |
PRECISE members Insup Lee and Oleg Sokolsky, along with Sampath Kannan, Moonzoo Kim, and Mahesh Viswanathan, win the Test-of-Time Award for their 2001 paper "Java-MaC: a run-time assurance tool for Java programs" at the 2019 Conference on Runtime Verification. |
| October |
The Best Paper Award for the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'19) went to the paper entitled Detecting Security Leaks in Hybrid Systems with Information Flow Analysis by Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur. Read more. |
| April |
The Best Paper Award for the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019) went to the paper entitled Holistic resource allocation for multi-core real-time systems by Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee. Read more. |
| January |
The Deans' Distinguished Visiting Professorship is award to Insup Lee, Ph.D. by Perelman School of Medicine at the University of Pennsylvania on 17 Jan 2019. Dr. Lee presented to the audience a talk entitled "Internet of Medical Things (IoMT)" that day. |
| 2018 |
|
| May |
The Best Paper Award for the the 21st IEEE International Symposium on Real-Time Computing (ISORC 2018) went to the paper entitled “Data Freshness Over Engineering: Formulation and Results” by Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. Read more. |
| 2017 |
|
| December |
Insup Lee has been named a Fellow of the ACM! The honor is richly deserved for his research accomplishments and community leadership. Read more |
| 2016 |
|
| October |
The Best Paper Award for the IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2016) went to the paper entitled "Adaptive Transient Fault Model for Sensor Attack Detection" by Minsu Jo, Junkil Park, Yungmi Baek, Radoslav Ivanov, James Weimer, Sanghyuk Son, and Insup Lee. |
| 2014 |
|
| April |
The Best Paper Award for the 5th International Conference on Cyber-Physical Systems (ICCPS 2014) went to the paper entitled "Robustness of Attack-resilient State Estimators" by Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George Pappas. |
| 2013 |
|
| August |
Insup Lee received Appreciation Plaque from Ministry of Science, IT and Future Planning, South Korea,
for speaking at Universal Linkage for Top Research Advisor (ULTRA) Program Forum. |
| 2012 |
|
| December |
The Best Paper Award for the 33rd IEEE Real-Time Systems Symposium (RTSS 2012) went to the paper entitled "Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines", jointly written by Penn and KAIST. (Co-authors: Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin and Insup Lee). |
| April |
The Best Student Paper Award for the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) went to Miroslav Pajic et al for their paper entitled "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study" (Co-authors: Zhihao Jiang, Insup Lee, Oleg Sokolsky and Rahul Mangharam). |
| 2011 |
|
| September |
Link Spamming Wikipedia for Profit. Andrew G. West, Jian Chang, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee. In 8th Annual Collaboration, Electronic messaging, Anti-Abuse and Spam Conference (CAES 2011), Perth, Australia, September 2011. (co-Best Paper) |
| 2010 |
|
| October |
Modeling Buffers with Data Refresh Semantics in Automotive Architectures. Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee. In 10th International Conference on Embedded Software (EMSOFT 2010), Scottsdale, Arizona, October 2010. (Best Paper Candidate) |
| 2008 |
|
| December |
IEEE TCRTS Outstanding Technical Achievement and Leadership Award. |
| 2007 |
|
| |
The Edward M. Kennedy Award for Health Care Innovation 2007, CIMIT (Center for Integration of
Medicine and Innovative Technology ), Medical Device "PnP" Interoperability Team, Julian Goldman
(leader), Dave Arney, Insup Lee, et al. |
| 2006 |
|
| April |
IEEE Computer Society's Certificate of Appreciation "for your important contributions to ISORC 2006 as a Symposium Co-Chair". |
| |
DVP Speaker of IEEE Computer Society Distinguished Visitors Program (DVP), 2004-2006. |
| 2005 |
|
| December |
Dr. Insup Lee has been named the Cecilia Fitler Moore Professor of Computer and Information Science. |
| August |
KSEA Certificate of Appreciation "in recognition of excellent contribution to KSEA as Co-Chair of ICTS at the 2005 US-Korea Conference (UKC 2005)." |
| February |
Dissertation Advisor for Bronze Prize winner in Samsung Electronics' Humantech Thesis Contest, Dissertation on
"A Design Framework for Real-Time Embedded Systems with Code Size and Energy Constraints" by
Insik Shin and Sheayun Lee, Feb 2005. (Co-advised with Professor Sang Lyul Min at SNU). |
| 2004 |
|
| May |
IEEE Computer Society's Certificate of Appreciation "for your important contributions to ISORC 2004 as a Symposium Co-Chair". |
| 2003 |
|
| December |
The Best Paper Award, IEEE Real-Time Systems Symposium, "Periodic Resource Model for Compositional
Real-Time Guarantees," (with Insik Shin). |
| 2001 |
|
| |
IEEE Fellow "for contributions to the specification languages and verfication tools for real-time systems". |
| 1998 |
|
| April |
IEEE Computer Society's Certificate of Appreciation "for your important contributions to the development of the 1st IEEE CS Symposium on Objectoriented
Real-time Distributed Computing program as Program Co-Chair". |
| 1995 |
|
| |
Board of Directors, Philip Jaisohn Memorial Foundation, since 1995. |
| 1994 |
|
| February |
IEEE Computer Society's Certificate of Appreciation "for an outstanding performance as co-chairs of the 1992 and 1993 Real-Time Systems Symposiums". |
| 1990 |
|
| |
ACM Certification of Appreciation "in recognition of advice and guidance to the University of Pennsylvania
Programming Team at the ACM Allegheny Regional Scholastic Programming Contest." Second
Place, Allegheny Regionals, Division I. |
| 1989 |
|
| |
Honorary Masters Degree, University of Pennsylvania. |
