Insup Lee
Cecilia Fitler Moore Professor
Computer and Information Science (CIS)
Electrical and Systems Engineering (ESE)
Email | Personal Webpage | Research Webpage
Honors and Awards: IEEE Fellow, IEEE Computer Society Distinguished Visitors Speaker - 2004-2006, Chair of IEEE Computer Society Technical Committee on Real-Time Systems - 2003-2004
Research Expertise: Embedded Systems | Formal Methods
Insup's research interests are in real-time, embedded, and cyber physical systems, which increasingly affect our daily lives. His research goals are to ensure and improve the correctness, safety, timeliness, trustworthiness, and compositionality of these systems. Insup has been developing techniques and tools for compositional real-time scheduling, model-based development, quantitative trust management, and run-time verification. He has also been transitioning his research results into practice by applying them to safety-critical embedded systems and high-confidence medical device systems.
Member of:
Education:
PhD 1983 - University of Wisconsin at Madison
BS 1977 - University of North Carolina at Chapel Hill
Recent Publications 
- Formal synthesis of application and platform behaviors of embedded software systems, Kim, J. | Kang, I. | Choi, J.-Y. | Lee, I. | Kang, S., Software and Systems Modeling, 2013
- Optimization of the plasma nitrocarburizing temperature on the surface characteristics of AISI 316L austenitic stainless steel After post oxidation, Lee, I., Journal of Korean Institute of Metals and Materials, 2013
- Evaluation of a smart alarm for intensive care using clinical data, King, A. | Fortino, K. | Stevens, N. | Shah, S. | Fortino-Mullen, M. | Lee, I., Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, 2012
- A model-based I/O interface synthesis framework for the cross-platform software modeling, Kim, B. | Phan, L.T.X. | Lee, I. | Sokolsky, O., Proceedings - IEEE International Symposium on Rapid System Prototyping, RSP, 2012
- Extending task-level to job-level fixed priority assignment and schedulability analysis using pseudo-deadlines, Chwa, H.S. | Back, H. | Chen, S. | Lee, J. | Easwaran, A. | Shin, I. | Lee, I., Proceedings - Real-Time Systems Symposium, 2012