Prof. Myungchul Kim | mck at kaist.ac.kr
Address :
Room 801, N1 Building
School of Computing
Korea Advanced Institute of Science and Technology
335 Gwahangno(373-1 Guseong-dong), Yuseong-gu, Daejeon
305-701 Republic of Korea
Tel : +82-42-350-3552
Fax : +82-42-350-6222Research Interests
– Next Generation Internet
– Pervasive/Mobile Computing
– Information Security
– Protocol Engineering
– E-business
ARTICLES
CAREERS
  • Professor, KAIST, 2009. 3 ~ Now
  • Head, Graduate School of Information Security, KAIST, 2011 ~ 2014. 7
  • Visiting Professor at Carnegie Mellon University, 2004 ~ 2005
  • Professor, Information and Communications University (ICU), 1997 ~ 2009. 2
  • Dean, Office of Planning Affairs (and Research and Industrial Cooperation Group), ICU, 2007
  • Director, Korea Telecom – ICU 4G Lab, 2006 ~ 2008
  • Dean, School of Engineering, ICU, 2001 ~ 2004
  • Director, E-Commerce Program, ICU, 2001 ~ 2002
  • Managing Director, Korea Telecom Research Laboratories, 1984 ~ 1997
PROFESSIONAL ACTIVITIES
Chairs/co-chairs of the international conferences/workshops as follows:

  • Workshop Co-chair of the Int’l Workshop on Mobile and Wireless Ad Hoc Networking, 2004, 2005.
  • Program Co-chair of 21st IFIP WG 6.1 Int’l Conference on Formal Techniques for Networked and Distributed Systems, 2001.
  • Program Co-chair of IFIP 10th Int’l Workshop on Testing of Communicating Systems, 1997.
  • Chair of Profile Test Specifications ~ Special Interest Group of Asia-Oceania Workshop, 1994 ~ 1997.

Members of the program committees of the following conferences:

  • The 13th Annual IEEE Consumer Communications and Networking Conference
    (CCNC), 2016.
  • The 2014 International Conference on Active Media Technolog (AMT2014), 2014.
  • The 2013 IEEE International Conference on Internet of Things (iThings2013), 2013.
  • 2nd International Conference on Context-Aware Systems and Applications, 2013.
  • 8th IEEE PerCom Workshop on Pervasive Wireless Networking (PWN12), 2012.
  • The Fifth IEEE International Conference on Software Testing (ICST), 2012.
  • The IEEE/ACIS 11th International Conference on Computer and Information Science (ICIS), 2012.
  • 13th International Conference on Distributed Computing and Networking (ICDCN), 2012.
  • 12th International Conference on Distributed Computing and Networking (ICDCN), 2011.
  • The Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST), 2011.
  • 22nd IFIP International Conference on International Conference on Testing Software and Systems (ICTSS10), 2010.
  • The Third IEEE International Conference on Software Testing, Verification and Validation (ICST), 2010.
  • 20th IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES), 2009.
  • 11th IFIP Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE), 2009.
  • IFIP International Conference on Enterprise Information Systems (CONFENIS), 2006, 2007.
  • 7th Int’l Workshop on Formal Approaches to Testing of Software (FATES), 2007.
  • 5th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), 2007.
  • International Workshop on Verification and Validation of Enterprise Information System (VVEIS), 2005, 2006.
  • IEEE International Workshop on Pervasive Wireless Networking (PWN), 2005, 2006, 2007, 2008.
  • IFIP International Conference on Testing of Communicating Systems (TestCom), 2004, 2005, 2006, 2007, 2008.
  • IFIP Formal Description Technique (13th, 12th, 11th, 10th), Protocol Specification, Testing and Verification (20th, 19th, 18th, 17th), 2000, 1999, 1998, 1997.
  • IFIP Formal Techniques for Networked and Distributed System, 2003, 2004, 2005, 2006, 2007, 2008.
  • IEEE 16th Int’l Conference on Distributed Computing Systems, 1996.
  • IFIP 12th, 11th and 9th Int’l Workshop on Testing of Communicating Systems, 1999, 1998, 1996.
  • IFIP Testing Communicating Systems, 2000, 2002, 2003.
  • IFIP Technical Committee Member, 2000 ~ 2008.
  • IEEE Pacific Rim International Symposium on Dependable Computing, 2001.
  • Korea Information Science Society, Journal Review Member, 1999 ~ Now
PUBLICATIONS