He received a B.S. from Korea University and an M.S. from Stanford University both in Computer Science in 1994 and 1998 respectively. He received a Ph.D. from University of Pennsylvania in 2006 on Compositional Schedulability Analysis in Real-Time Embedded Systems. He has been a post-doctoral research fellow at Malardalen University, Sweden, and a visiting scholar at University of Illinois, Urbana-Champaign until 2008.