Insup Lee

Professor Department of Computer and Information Science University of Pennsylvania 200 South 33rd Street Philadelphia, PA 19104-6389 Phone: +1 (215) 898-3532 Fax: +1 (215) 573-7362 Office: 262 Moore Email: lee at cis.upenn.edu Short Bio

Research Interests

Research Activities

• Systems Design Research Lab (SDRL)
• Real-Time Systems Group (RTG) in SDRL
• Research Projects:
  • Design, Implementation, and Validation of Embedded Software: MoBIES, CHARON
  • High Assurance Systems Tools and Environment: HASTEN
  • Model-Based Development: Code Generation, Test Generation
  • Run-time Monitoring and Checking
  • Specification and Analysis of Real-Time Systems: ACSR , VERSA, TREAT
  • Wireless and Mobile Systems
• Selected Recent Papers
• Former Ph.D. Students

Teaching

• CSE 380: Introduction to Operating Systems
• CSE 480: Distributed and Real-Time Systems (Spring '94 & '96)
• CIS 640: Advanced Topics in Computer Systems: (Software Engineering: Testing, Spring '95), (Mobile Computing, Spring '98), (E-Commerce Systems, Spring '00) (Formal Methods, Real-Time Systems, Fall '02)
• CIS 642: Seminar in Distributed and Real-Time Computing (Spring '97), (Spring '99), (Spring '01)
• EMTM 553: Electronic Commerce Systems (Winter '01), (Spring '01)

Preofessional Activities

• Chair, IEEE-CS Technical Committe on Real-Time Systems ( TCRTS )
• Editorial Boards: Formal Methods in System Design (1996-present), Journal of Electrical Engineering and Information Science (1998-present), IEEE Transactions on Computers (1995-1999),
• Program Co-Chair, EMSOFT 2003 , Philadelphia.
• Workshop on Run-time Verification (RV 2003)

Opennings

• Postdoctoral position in software engineering for hybrid systems
• Programmer position for tool developement

Personal Information

• Biography (pdf, ps)
• 2-Page CV (ps)
• CV (pdf , ps)
• My Ph.D. Dissertation: DYMOS: A Dynamic Modication System
  (To see how it can be done better now, check out Mike Hick's dissertation.)
• Picture: 1991

Other Links

• Article in PennNews (August 21, 2000)
• Hybrid Systems Group at Penn
• Logic and Computation Group at Penn
• Distributed Systems Lab at Penn (DSL)
• Telecommunications and Networking Program at Penn
• IEEE-CS Technical Committe on Real-Time Systems
• Embedded Everywhere: A Research Agenda for Networked Systems of Embedded Computers, National Research Council, 2001
• Formal Methods
• CONCUR '95 Web page
• IEEE International Symposium on Object-oriented Real-time distributed Computing: ISORC 98, ISORC 2000.
• Multiple Autonomous Robot Systems MARS
• MURI Project Home Page: Semantic Consistency in Information Exchange
• Computer Science Tech Reports Index
• Software Engineering World