Insup Lee

Cecilia Fitler Moore Professor
Computer and Information Science (CIS)
Electrical and Systems Engineering (ESE)

Email | Personal Webpage | Research Webpage

Honors and Awards:  ACM Fellow, IEEE Fellow, IEEE TC-RTS Outstanding Technical Achievement and Leadership Award - 2008, Chair of the Association of Computing Machinery (ACM) Special Interest Group on Embedded Systems (SIGBED) - 2015-2019, 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:

PhD 1983 - University of Wisconsin at Madison
BS 1977 - University of North Carolina at Chapel Hill

Recent Publications

Return to Directory