I am an associate professor in the Department of AI Information Engineering at Gyeongsang National University. I completed my post-doctoral research under the supervision of Professor Insup Lee at the University of Pennsylvania.

In 2012, I obtained my Ph.D. from Korea University under the guidance of Professor Jin Young Choi. Before joining Gyeongsang National University, I had the great opportunity to work at the PRECISE Lab of the University of Pennsylvania, KAIST, Aalborg University, and INRIA/IRISA.

My previous advisors include Kim G. Larsen at Aalborg University, Axel Legay at INRIA, and Sungwon Kang at KAIST.

I am interested in software verification and validation, particularly in the verification of cyber-physical systems (CPS) using formal methods and model checking.

Recently, I have developed a deep interest in the safety of AI. Specifically, I aim to verify in a formal way the safety of CPS that directly impacts human lives, such as medical AI and autonomous driving, through various methods.