She received her Ph.D from University of Minnesota, USA, specialized in formal methods in software engineering. Her major work was formal specification and verification of flight control software. Afterword, she worked at the Fraunhofer Institute of Experimental Software Engineering at Kaiserslautern, Germany, as a research scientist, working on industry-oriented formal verification approaches. Since she joined Kyungpook National University in 2006, her research has been focused on light-weight formal methods and automated verification framework for embedded software.