He received his Bachelors degree in Computer Science from KAIST in 2005 and his PhD from Seoul National University in 2012. He was a research associate at the center of software analysis for error-free computing in SNU before joining Korea University in 2015. His research interest lies in program analysis and synthesis, and in areas related to programming languages in general.