Insup Lee received the B.S. degree in mathematics from the University of North Carolina, Chapel Hill, in 1977, and the Ph.D. degree in computer science from the University of Wisconsin, Madison, in 1983. He is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania, where he has been since 1983. He was CSE Undergraduate Curriculum Chair from September 1994 to August 1997.
His research interests include embedded systems, real-time computing, formal methods, wireless network, and software engineering. He has been developing programming concepts, language constructs, and operating systems for real-time systems. In recent years, he has developed specification, analysis, and testing techniques based on real-time process algebra (ACSR). In addition, he has devoloped a hierarchical specification language for hybrid systems (CHARON). Based on CHARON, he has been developing techniques for automatic code generation and test generation. He also has benn developing the run-time monitoring and checking framework (MaC) that can be used to assure the correctness of a running system through monitoring and checking of safety, QoS, and security properties. The prototype MaC system has been implemented in Java and C. In addition to doing research, he has been transitioning research results to practice by applying them to safety-critical real-time systems and high-confidence medical devices. He has published widely and received the best paper award in RTSS 2003 on compositional schedulability analysis.
He was Chair of IEEE Computer Society Technical Committee on Real-Time Systems (2003-2004) and an IEEE CS Distinguished Visitor Speaker (2004-2006). He has served on many program committees and chaired several international conferences and workshops, including IEEE RTSS, IEEE RTCSA, IEEE ISORC, CONCUR, ACM EMSOFT, and HCMDSS/MD PnP. He has also served on various steering and advisory committees of technical societies, including Steering Committee on ACM SIGBED and Co-Chair of IEEE CS Technical Steering Committee on Embedded Systems. He has served on the editorial boards on the several scientific journals, including IEEE Transactions on Computers, Formal Methods in System Design, and Real-Time Systems Journal. He is a co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering since Sept 2007. He is IEEE Fellow and a member of Technical Advisory Group (TAG) of President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (NIT).