|
Cecilia Fitler Moore Professor Department of Computer and Information Science School of Engineering and Applied Science University of Pennsylvania Levine Hall, Room 602 3330 Walnut Street Philadelphia, PA 19104-6389 Phone: +1 (215) 898-3532 Fax: +1 (215) 573-7362 Office: 602 Levine Email: lee@cis.upenn.edu |
|
|
Short Biography Insup Lee 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. He holds a secondary appointment in the Department of Electrical and Systems Engineering. His research interests include embedded systems, real-time computing, formal methods, wireless network, and software engineering. He had developed 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 is currently developing techniques for automatic code generation and test generation. Furthermore, he is currently working in wireless network, especially power-aware protocols and security. He also has been 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 is currently being ported to Real-Time Java. He is IEEE fellow and is a member of Technical Advisory Group (TAG) of President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (NIT). He was an IEEE Distinguished Visitor Speaker during 2003-2006, and Chair of IEEE Computer Society Technical Committee on Real-Time Systems (TCRTS) during 2003-2004. He has served on numerous program committees and chaired several international conferences and workshops, and on various steering and advisory committees of technical societies, including Steering Committee of ACM SIGBED. He has also served on the editorial boards on the several scientific journals. Recent & Upcoming Events
| |
Insup Lee