UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee UPenn Lee
Home About Me Research Teaching PRECISE RTG Group News Publications Awards Contact
Biography    |    CV    |    Current Students    |    Former Students    |    Professional Activities    |    Personal

 

Professional Activities

Editorial Boards

  • Founding Co-Editor-in-Chief, KIISE Journal of Computing Science and Engineering (JCSE), since Sept 2007.
  • Editorial Board, Formal Methods in System Design, since 1996.
  • Real-Time Systems: The International Journal of Time-Critical Computing Systems: Associate Editor 2003-2010), Advisory Board since 2010.
  • Editorial Board, Journal of Embedded Computing, since 2003.
  • Editorial Board, Journal of Electrical Engineering and Information Science, 1998-2001.
  • Editorial Board, IEEE Transactions on Computers, 1995-2000.

Service and Leadership

  • Member, President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (NIT) Technical Advisory Group (TAG), 2006-2007.
  • Co-Chair, IEEE CS Technical Steering Committee on Embedded Sysystems, 2005-2006.
  • Chair, IEEE Computer Society Technical Committee on Real-Time System, 2003-2004.
  • Vice Chair, IEEE Computer Society Technical Committee on Real-Time System, 2001-2002. (Elected)
  • Naval Research Lab (NRL) External Research Review Panel for Information Technology S&T Program (1997, 2004)
  • President, Philadelphia Chapter of KSEA (Korean-American Scientists and Engineers in America), 1990-1991.

Steering and Advisory Committees

  • Advisory Committee, Body Sensor Network Contest, May 23, 2011.
  • Advisory Board, CPS Summer School, Georgia Institute of Technology, June 22-26, 2009.
  • Advisory Board, Asian Association for Foundation of Software (AAFS) since 2003.
  • Advisory Board, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) since 2004.
  • Steering Committee, CPS Week (since 2008), ES Week (since 2007), ATVA (since 2004), ISORC (since 2010), Run-Time Verification (since 2002).
  • Steering Committee, International Conference on Real-Time Computing Systems and Applications (RTCSA), 1996-2002.
  • Executive Committee, ACM SIGBED (since 2006).
  • Executive Committee, IEEE CS Technical Committee on Real-Time Systems, 1994-1996, 2005-2011.
  • Executive Committee, EMSOFT, since 2005.
  • Advisory Committee, IT Symposium, UKC 2007, Aug 9-12.
  • Executive Committee, KOCSEA (Korean-American Computer Scientists and Engineers Association), 1995-2001.
  • Steering Committee Chair, NRC '98, The 9th KSEA Northeast Regional Conference, Rutgers University, New Brunswick, NJ, March 6-7, 1998.

Conference and Workshop Chairs

  • Program Co-Chair, ICCPS, 2011.
  • General Co-Chair, 1st International Conference on Runtime Verification, Nov 1-4, 2010, Malta.
  • Co-organizer, 2nd workshop on HCMDSS and MD PnP, CPS Week, San Francisco, April 2009.
  • Co-organizer, CRTS (Compositional Real-Time Systems) Workshop. (Dec 2008, Dec 2009, Dec 2010).
  • General Co-Chair, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, Aug 2008.
  • Workshop Co-Chair, Workshop on Software and Systems for Medical Devices and Services (SMDS), Dec 3, 2008.
  • Co-organizer, Joint workshop on High-Con dence Medical Devices, Software, and Systems/ Medical Device Plug-and-Play (HCMDSS/MD PnP). (Boston, June 25-27, 2007; San Francisco, April 16, 2009).
  • Symposium Co-Chair, IEEE ISORC, Gyeongju, Korea, Apr 24-26, 2006.
  • General Chair, International Workshop on Automated Technology for Verification and Analysis (ATVA), Taipei, Taiwan, Oct 2005.
  • Co-Chair, Information & Communication Technology Symposium (ICTS) KSEA UKC 2005, Aug 2005.
  • Chair Organizer, High-Confidence Medical Device Software and Systems (HCMDSS)Workshop, Philadelphia, PA, June 2-3, 2005.
  • Co-organizer, High-Confidence Medical Device Software and Systems (HCMDSS) Planning Workshop, Arlington, VA, Nov 16-17, 2004.
  • Program Co-Chair, IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria, May 12-14, 2004.
  • Program Co-Chair, International Workshop on Automated Technology for Verification and Analysis (ATVA), Taipei, Taiwan, Dec 10-13, 2003.
  • Program Co-Chair, International Conference on EMSOFT, Philadephia, Oct 13-15, 2003.
  • Program Co-Chair, Monterey Workshop on Software Engineering fro Embedded Systems: From Requirements to Implementation, Chicago, Sep 24-26, 2003.
  • General Co-Chair, IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), [Newport Beach, CA, March 15-17, 2000], [KyounJu, Korea, April 24-26, 2006]
  • Program Co-Chair, IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Kyoto, Japan, April 20-22, 1998.
  • Program Co-Chair, International Workshop on Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, Oct 30 - Nov 1, 1996.
  • Conference Co-Chair, CONCUR '95 - International Conference on Concurrency Theory, Philadelphia, PA, Aug 1995.
  • Program Co-Chair, International Workshop on Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, Dec 1994.
  • General Co-chair, IEEE Real-Time Systems Symposium, Dec 1993.
  • Program Co-Chair, IEEE Real-Time Systems Symposium, Dec 1992.
  • Conference vice-chairman, KSEA Northeast Regional Conference, Lehigh University, Nov 1988.

Program Committees

  • RTSS: IEEE Real-Time Systems Symposium (1985-1988, 1990, 1992, 1996, 1998-2002, 2004, 2006, 2007, 2008, 2009, 2010, 2011)
  • DSMDS 2011
  • EMSOFT: ACM Conference on Embedded Software (2003, 2004, 2005, 2008, 2011)
  • ISORC: IEEE International Symposium on Object-oriented Real-time distributed Computing (1998, 2002-2005, 2007, 2009, 2010, 2012)
  • RTAS: IEEE Real-Time and Embedded Technology and Applications Symposium (1990, 1998, 2000, 2001, 2004, 2007, 2009)
  • ICCPS: International Conference on Cyber-Physical Systems (2010)
  • DAC (2011)
  • FTRA WCC-WTA 2011, The 7th International Symposium on Wireless sensor network Technologies and Applications for Smart Space (WTA 2011)
  • CPNS'2011 (The First International Workshop on Cyber-Physical Networking Systems) (2011)
  • RTCSA: International Conference on Real-Time Computing Systems and Applications (1994-1996, 1999, 2000, 2004, 2005, 2010, 2011)
  • ECRTS: Euromicro Conference on Real-Time Systems (1999, 2003, 2004)
  • ATVA: International Sypmposium on Autoated Technology for Verification and Analysis (2003, 2004, 2006, 2007, 2009, 2010, 2011)
  • Wireless Health 2011
  • BSN (Body Sensor Networks) 2010
  • LCTES 2009, ACM Conference on Languages, Compilers, and Tools fro Embedded Systems, Dublin, Irland
  • Foundations of Software Engineering in Health Informatics (SEHI), Johannesburg, South Africa, Aug 29-30, 2011.
  • IEEE PIMRC 11, Wireless Networks and Health Care Track, Sept 2011, Toronto, Canada.
  • FM2009, Eindhoven, the Netherlands.
  • SSS 2009, 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Lyon, France.
  • ICTAC (international Colloquium on Theoretical Aspects of Computing), Aug 2009.
  • ACM SAC track on Real-Time Systems (2009, 2011)
  • CSA (International Conference on Computer Science and its Applications), Jeju, Korea, Dec 2009
  • CASES: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (2006)
  • ICCP: International Conference on Intelligent Computer Communication and Processing (2006)
  • ICSOFT: International Conference on Software and Data Technologies (2006, 2007)
  • FORMATS: International Conference on Formal Modeling and Analysis of Timed Systems (2005, 2007, 2008, 2009)
  • MEMOCODE: ACM-IEEE International Conference on Formal Methods and Models of Codesign (2005)
  • CASES: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (2006)
  • ICCP: International Conference on Intelligent Computer Communication and Processing (2006)
  • ICSOFT: International Conference on Software and Data Technologies (2006, 2007)
  • FORMATS: International Conference on Formal Modeling and Analysis of Timed Systems (2005, 2007, 2008, 2009)
  • ETFA: Emerging Technologies and Factory Automation, 2009
  • MEMOCODE: ACM-IEEE International Conference on Formal Methods and Models of Codesign (2005)
  • ICDCS: IEEE International Conference on Distributed Computer Systems (1999, 2001, 2003)
  • FORTE: Formal Techniques for Networked and Distributed Systems (2002)
  • EUC: IFIP International Conference on Embedded and Ubiquitous Computing, (2007)
  • ASP-DAC: Asia South Pacific Design Automation Conference (2005)
  • ICESS: International Conference on Embedded Software and Systems. (2004, 2007)
  • QSIC: International Conference for Quality Software (2003, 2004, 2005, 2006)
  • KSEA UKC ICT (Information & Communication Technology) Symposium (2003, 2006)

Workshop Committees

  • First Workshop on Future Directions in Cyber-physical Systems Security, US DHS, July 22-24, 2009.
  • RV: Workshop on Runtime Verification (2001, 2002, 2006, 2009)
  • IEEE Internationa lWorkshop on Component-Based Design of Resource-Constrained Systems (CORCS 2008, 2009)
  • WCPS: International Workshop on Cyber-Physical Systems (2009, 2008)
  • WSNHC: Wireless Sensor Networks for Health Care (2007)
  • HSCC: International Workshop on Hybrid Systems: Computation and Control (2005)
  • JTRES: Workshop on Java Technologies for Real-time and Embedded Systems (2005)
  • WORDS: IEEE International Workshop on Object-oriented Real-time Dependable Systems (1996, 1997, 1999, 2001, 2003, 2005)
  • TeleHealth: 1st International Workshop on TeleHealth 2008.
  • TPTS: Workshop on Theory and Practice of Timed Systems (2002)
  • WPDRTS: International Workshop on Parallel and Distributed Real-Time Systems (2000, 2001, 2002)
  • RSP: IEEE International Workshop on Rapid System Prototyping (2000, 2001)
  • IEEE International Workshop on Distributed Real Time Systems (2000)
  • ARO/NSF Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development (1998)
  • ACM Workshop on Language, Compiler, and Tool Support for Real-Time Systems (1995)
  • Formal Tech in Real Time and Fault Tolerant Systems, Schleswig, Germany (1994)
  • North America Process Algebra Workshop, Ithaca, NY, Aug 1993.

Professional Activities - Miscellaneous

  • Advisory Member, KOCSEA President Election Board, 2009.
  • Organization Committees:
    • Workshop on Software Engineering and Programming Languages (1996)
    • Mini-track Coordinator for Distributed Real-Time Systems, Hawaii International Conference on System Sciences (1996)
    • ARO Workshop on Formal Methods: Automatic Verification (1993)
    • ARO Workshop on Formal Methods: Real-Time Systems (1992)
    • ARO Short Courses on Introduction to Parallel Architectures, Processing and AI Applications (1986, 1987, 1988)
    • Local arrangements, 8th International Symposium on Protocol Specification, Testing, and Verification (1988)
  • NSF Proposal Review Panels
  • Award Selection Committee, "Being an Korean-American" essay contest for high school students, Philip Jaisohn Memorial Foundation. (1996-2001)
  • Board of Advisors for KASCON VIII (Korean-American Students Conference) Philiadelphia, PA (April 1994).
  • Ph.D. Program Evaluation Team for Computer Science and System Science Department, State University of NY at Binghamton, Sept 1992.

Journal of Computing Science and Engineering (JCSE)

 

Formal Methods in System Design

 

Copyright © 2011-2016 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.