Tae Eun Kim is a PhD student at the School of Computing at KAIST. His research aims to develop an integrated software analysis system that employs static and dynamic techniques, such as semantic-based program analysis and fuzzing.