Insik Shin Assistant Professor Department of Computer Science, KAIST, Korea Email:

Quick Links:    What's New  |   Research  |   Publications  |   Awards  |   Teaching  |   Contact

Biographical Sketch

Insik Shin is an assistant professor in the Department of Computer Science at KAIST, Korea. He received a Ph.D. degree from the University of Pennsylvania, USA, an MS degree from Stanford University, USA, and a BS degree from Korea University, Korea, all in Computer (& Information) Science. Prior to joining KAIST, he has been a post-doctoral research fellow at Malardalen University, Sweden, and a visiting scholar at University of Illinois at Urbana-Champaign, USA.

What's New

• (2009. 9) A paper is accepted to IEEE Transactions on Industrial Informatics.
• (2009. 8) A paper is published in Real-Time Systems Journal (RTSJ) (special issue on ECRTS 2009).
• (2009. 7) Insik Shin joins the Program Committee of ECRTS 2010.
• (2009. 7) Insik Shin gives an invited talk at University of Pennsylvania, Philadelphia, USA.
• (2008. 8) Insik Shin becomes Co-Chair of Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008) (co-located with RTSS 2008) at Barcelona, Spain, on November 30, 2008.
• (2008. 8) Insik Shin joins Dept. of Computer Science at KAIST as of August 11, 2008.
• (2008. 7) Insik Shin wins a best paper runner-up of ECRTS 2008.

Professional Activities

• Workshop Co-Chair, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008)
• Organizing Committee, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009)

• Program Committee, IEEE Euromicro Conference on Real-time Systems (ECRTS 2010)
• Program Committee, IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)
• Program Committee, IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009)
• Program Committee, International Workshop on Cyber-Physical Systems (WCPS 2009)
• Program Committee, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009)
• Program Committee, IEEE Real-Time Systems Symposium (RTSS 2007)

Awards

• Best Paper Runner-Up, ECRTS 2008.
• Morris and Dorothy Rubinoff Award, for the best doctoral dissertation in computer technology, University of Pennsylvania, 2006.
• Bronze Prize, Samsung Electronics' Humantech Thesis Contest, 2005.
• Best Paper Award, RTSS 2003.

Invited Talks & Tutorial

• 2009. 7. 28. University of Pennsylvania, Philadelphia, USA
• 2009. 7. 2. Electronics and Telecommunications Research Institute (ETRI), Daejeon, Korea
• 2009. 7. 1. Korea Computer Congress (KCC), Jeju, Korea
• 2009. 2. 20. Chung-Ang University, Seoul, Korea
• 2009. 2. 13. Samsung Advanced S/W Research Center, Yongin, Korea
• 2008. 12. 4. Korea University, Seoul, Korea
• 2008. 11. 20. Chonbuk National University, Jeonju, Korea
• 2008. 9. 26. Seoul National University (SNU), Seoul, Korea
• 2008. 9. 5. Electronics and Telecommunications Research Institute (ETRI), Daejeon, Korea
• 2008. 6. 24. Royal Institute of Technology (KTH), Stockholm, Sweden

Teaching

• Operating Systems and Lab. (undergraduate), Fall 2009, Spring 2009
• Advanced Operating Systems (graduate), Fall 2009
• Special Topics in Operating Systems – Trustworthy Computing: Operating Systems and Virtualization, Fall 2009
• Cyber-Physical Systems, Fall 2008

Contact Information

• Email:
• Phone: +82-42-350-3524
• Fax: +82-42-350-3510
• Office: CS Building (E3-1), Room 4425
• Office Hours: Wednesday 2:00pm - 4:00pm, Thursday 5:30pm - 6:30pm
• Mailing address
  Dept. of Computer Science, KAIST
  335 Gwahangro, Yuseong-gu, Daejeon, South Korea 305-701