Eunkyoung Jee is a research assistant professor in School of Computing at KAIST in Republic of Korea. She was a postdoctoral researcher in the Computer and Information Science department at the University of Pennsylvania. She received her B.S., M.S., and Ph.D. degrees in computer science from KAIST. Her research interest includes safety-critical software, software testing, formal method, and safety analysis.