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