UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee
Home About Me Research Teaching PRECISE RTG Group News Publications Awards Contact

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of PRECISE Center at the University of Pennsylvania. He also holds a secondary appointment in the Department of Electrical and Systems Engineering. His research interests include cyber-physical systems, real-time and embedded systems, runtime assurance and verification, formal methods and tools, trust management, and high-confidence medical systems. The theme of his research activities is to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. He is a fellow of IEEE and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.

 

A founding co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE)

 

Please contact Professor Insup Lee if you are interested in joining his group as a PhD student or Postdoctoral fellow.

 

 

[ About Me ]

August 2015:    Insup Lee is the principle investigator of the recently announced NSF and Intel new, jointly funded large project on CPS security and privacy. The new project is centered at PRECISE and includes collaborators from the Penn medical school, law school, and sociology, as well as University of Michigan and Duke University. Read more

June 2015:    Insup Lee was elected the Chair of ACM SIGBED, special interest group on embedded systems. SIGBED is a focal point within ACM for all aspects of embedded computing systems, including both software and hardware.

April 2014:    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.

December 2013:    Insup Lee was appointed as a member of the NRC's Committee on 21st Century Cyber-Physical Systems Education.

 

 

[ All News ]

Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi and Insup Lee. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016), Vienna, Austria, April 2016.

Estimation of Blood Oxygen Content Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee. In Proceedings of 7th International Conference on Cyber-Physical Systems (ICCPS 2016), Vienna, Austria, April 2016.

Scalable Verification of Linear Controller Software. Junkil Park, Miroslav Pajic, Insup Lee and Oleg Sokolsky. In Proceedings of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, The Netherlands, April 2016.

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical. Radoslav Ivanov, Miroslav Pajic, and Insup Lee. To appear in ACM Transactions on Embedded Computing Systems,accepted in Nov 2015.

 

 

[ All Publications ]

Copyright © 2011 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.