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

• (2011. 10) A paper will be presented at ACM EMSOFT
• (2011. 4) Best Student Paper Award from IEEE RTAS
• (2010. 12) A paper was presented at IEEE RTSS

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, 2010, 2011
• Organizing Committee, Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2011

• Program Committee, IEEE ECRTS in 2011
• Program Committee, IEEE ECRTS, IEEE ETFA, IEEE RTCSA, IEEE RTSS WIP, ACM ICCPS WIP in 2011
• Program Committee, ACM EMSOFT, IEEE ECRTS, IEEE ETFA, IEEE RTCSA, CRTS, IEEE RTAS WIP in 2010
• Program Committee, IEEE RTAS, IEEE ETFA, IEEE/IFIP EUC, WCPS in 2009
• Program Committee, IEEE RTSS in 2007

Awards

• Best Student Paper Award, RTAS 2011.
• Best Paper Award Runner-Up, RTSS 2008.
• Best Paper Award 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

• 2011. 4. 8. International Workshop on Cyber-Physical Systems, DGIST, Daegu, Korea
• 2011. 1. 25. CPS (Cyber-Physical Systems) Issues & Challenges, Kyunghee University, Suwon, Korea
• 2010. 10. 29. Daegu University, Daegu, Korea
• 2010. 8. 16. Workshop on Embedded Systems and Wireless Sensor Networks, Seoul, Korea
• 2010. 8. 12. UKC CPS (Cyber-Physical Systems) Conference, Seattle, USA
• 2010. 7. 26. Korea University, Seoul, Korea
• 2010. 7. 1. Korea Computer Congress (KCC), Embedded Systems Session, Jeju, Korea
• 2010. 4. 27. Workshop on Embedded and System Software, Seoul, Korea
• 2010. 1. 25. Korean Computer Systems Society, Winter Workshop, Pyongchang, Korea
• 2009. 10. 30. Korean Society of Medical Informatics, Fall Symposium, Daejeon, Korea
• 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), Tutorial, Jeju, Korea
• 2009. 6. 30. 2^nd International Workshop on Wireless Sensor Networks and Embedded Systems Research, Daejeon, Korea
• 2009. 4. 14. Ewha Embedded Software Forum, Seoul, 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, Fall 2010, Fall 2011
• Advanced Operating Systems (graduate), Fall 2009, Spring 2010, Spring 2011
• 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