What's New 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. Insik Shin joins Dept. of Computer Science at KAIST as of August 11, 2008. 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) 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. Teaching Cyber-Physical Systems, Fall 2008 Contact Information Email: Phone: +82-42-350-3524 Fax: +82-42-350-3510 Office: CS Building (E3-1), Room 1420 Mailing address Dept. of Computer Science, KAIST 335 Gwahangro, Yuseong-gu, Daejeon, South Korea 305-701
Professional Activities Workshop Co-Chair, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008) 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. Teaching Cyber-Physical Systems, Fall 2008 Contact Information Email: Phone: +82-42-350-3524 Fax: +82-42-350-3510 Office: CS Building (E3-1), Room 1420 Mailing address Dept. of Computer Science, KAIST 335 Gwahangro, Yuseong-gu, Daejeon, South Korea 305-701
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. Teaching Cyber-Physical Systems, Fall 2008 Contact Information Email: Phone: +82-42-350-3524 Fax: +82-42-350-3510 Office: CS Building (E3-1), Room 1420 Mailing address Dept. of Computer Science, KAIST 335 Gwahangro, Yuseong-gu, Daejeon, South Korea 305-701
Teaching Cyber-Physical Systems, Fall 2008 Contact Information Email: Phone: +82-42-350-3524 Fax: +82-42-350-3510 Office: CS Building (E3-1), Room 1420 Mailing address Dept. of Computer Science, KAIST 335 Gwahangro, Yuseong-gu, Daejeon, South Korea 305-701
Contact Information Email: Phone: +82-42-350-3524 Fax: +82-42-350-3510 Office: CS Building (E3-1), Room 1420 Mailing address Dept. of Computer Science, KAIST 335 Gwahangro, Yuseong-gu, Daejeon, South Korea 305-701
