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 currently 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.
<br>
<br>

His research interests include embedded systems, real-time computing,
formal methods and tools, medical device systems, wireless sensor
network, and software engineering.  He has 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 developed 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 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 and QoS properties.  The
prototype MaC system has been implemented in Java and C. 
 Lately, he has been developing programming abstraction and
security techniques for sensor networks, as well as applying
high-assurance techniques to medical devices software systems.

<br>
<br>
He was Chair of IEEE Technical Committee on Real-Time Systems for
2003-2004. 
He has served on numerous program committees, and also
(co-)chaired several conferences and workshops, including IEEE
Real-Time Systems Symposium in 1992 and 1993, International Workshop
on Real-Time Computing Systems and Applications in 1994 and 1996,
CONCUR '95 (Internation Conference on Concurrency Theory) in 1995,
IEEE International Symposium on Object-oriented Real-time distributed
Computing (ISORC) in 1998 and 2000, and EMSOFT in 2003.  He has been
on the editorial boards of IEEE Transactions on Computers (1995-2000),
Formal Methods in System Design, Journal of Electrical Engineering
and Information Science, and Real-Time Systems.
and Information Science}, and
Real-Time Systems Journal.  He is
IEEE CS DVP (Distinguished Visitors Program) speaker since
2004.
He is Co-Chair of IEEE CS Technical Steering Committee on Embedded
Systems.
He is IEEE fellow.