Insup Lee: Cecilia Fitler Moore Professor of CIS at SEAS
Dr. Insup Lee has been named the Cecilia Fitler Moore Professor of Computer and Information Science. Dr. Lee received his B.S. in mathematics from the University of North Carolina at Chapel Hill in 1977, and his M.S. and Ph.D. degrees in computer science from the University of Wisconsin, Madison in 1978 and 1983, respectively.
He joined the Penn faculty in the department of computer and information science in 1983 and was CSE Undergraduate Curriculum Chair during 1994-1997. He holds a secondary appointment in the department of electrical and systems engineering. The Cecilia Fitler Moore Chair is one of three chairs established in 1990 from proceeds from the Moore School Trust.
Dr. Lee’s current research interests include real-time systems, embedded and hybrid systems, formal methods and tools, wireless sensor networks, and software engineering. The major theme of his research activity has been to assure and improve the correctness, safety, and timeliness of embedded real-time systems. He has been transitioning the research results to practice by applying them to safety-critical real-time systems and high-confidence medical devices. He has published widely in scientific journals and conferences, and received the best paper award in the IEEE Real-Time Systems Symposium (RTSS) 2003. His research has been supported in part by NSF, DoD, FDA and companies.
He is an IEEE Fellow and an IEEE Distinguished Speaker. He was chair of the IEEE Computer Society Technical Committee on Real-Time Systems. He has served on numerous program committees and chaired several international conferences and workshops, including RTSS, RTCSA, ISORC, CONCUR, EMSOFT, and HCMDSS. He has also served on various steering and advisory committees of technical activities, including the Steering Committee on ACM SIGBED and the co-chair of the IEEE CS Technical Steering Committee on Embedded Systems. He is a member of IEEE, ACM, EATCS, KOCSEA, and KSEA and has served on the editorial boards of several scientific journals.
Almanac, Vol. 52, No. 15, December 13, 2005
December 13, 2005
Volume 52 Number 15