설명: 설명: 설명: 설명: 설명: 설명: 신인식1

Insik Shin

Associate Professor
Department of Computer Science, KAIST, Korea

Email:

설명: 설명: 설명: 설명: 설명: 설명: -----

Quick Links:    News  |   Research  |   Publications  |   Awards  |   Teaching  |   Contact   

Biographical Sketch

Insik Shin is an associate 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 in 2008, he has been a post-doctoral research fellow at Malardalen University, Sweden, and a visiting scholar at University of Illinois at Urbana-Champaign, USA. His research interests include real-time embedded systems, mobile computing, and cyber-physical systems.

News

2014. 7

Paper

"MC-Fluid: Fluid Model-based Mixed-criticality Scheduling on Multiprocessors" was accepted to RTSS 2014

2014. 6

Paper

 "Mobile Masestro: Enabling Immersive Multi-Speaker Audio Applications on Commodity Mobile Devices" was accepted to UbiComp 2014

2014. 3

Service

Serving on TPC of RTSS 2014 (Main Track)

2014. 1

Paper

Composition of Schedulability Analyses for Real-Time Multiprocessor Systems was accepted to IEEE Transactions on Computers (TC)

2013.10

Service

Serving on TPC of ECRTS 2014

2013. 7

Paper

GreenBag:  Energy-efficient Bandwidth Aggregation for Real-time Streaming in Heterogeneous Mobile Wireless Networks was accepted to RTSS 2013

2013. 6

Service

Serving on TPC of RTAS 2014 (Applied Methodologies and Foundations Track)

 

 

 

Professional Activities

  • Workshop Co-Chairs, CPSNA 2012, APRES 2012, CRTS 2008
  • Vice Chair (CPS Track Chair), ICPADS 2013
  • Workshop/Tutorial Chair, CPSWeek 2013
  • Organizing Committees, CRTS 2008 2012
  • Steering Committee, CPSNA 2013
  • Demo Chair, ICCPS 2013
  • Publication Chair, CPSNA 2013
  • Publicity Co-Chair, RTSS 2013
  • Associate Editor, Journal of Computing Science and Engineering, 2011-2013
  • Tutorial, CPSWeek 2012
  • TPC (2014) - RTSS, RTAS, ECRTS, RTCSA, ETFA
  • TPC (2013) - RTSS, RTAS, EMSOFT, RTCSA, CPSNA, ETFA, SOCA, GPC, VtRES, IWSC, ECRTS WIP, SIES WIP
  • TPC (2012) - RTSS, ECRTS, EMSOFT, SOCA
  • TPC (2011) - ECRTS, ETFA, RTCSA, RTSS WIP, ICCPS WIP
  • TPC (2010) - EMSOFT, ECRTS, ETFA, RTCSA, CRTS, RTAS WIP
  • TPC (2009) - RTAS, ETFA, EUC, WCPS
  • TPC (2008) - RTSS

Awards

  • Best Paper Awards, RTSS 2003 and 2012
  • 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

Teaching

  • Operating Systems and Lab. (undergraduate), Fall 2009, Spring 2009, Fall 2010, Fall 2011, Fall 2012, Fall 2013, Spring 2014
  • Advanced Operating Systems (graduate), Fall 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013
  • 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
    291 Daehakro, Yuseong-gu, Daejeon, South Korea 305-701