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

My research interests include software verification and validation, especially for cyber-physical systems (CPS), and the safety and trustworthiness of AI in domains such as medical AI and autonomous driving. I recently developed Ophtimus (Ophthalmological Small Language Models), a domain-specialized ophthalmology LLM designed to support reliable clinical decision-making (GitHub).

I have collaborated with groups at the PRECISE Lab of the University of Pennsylvania, KAIST, Aalborg University, and INRIA/RISA, and previously worked with advisors including Kim G. Larsen, Axel Legay, and Sungwon Kang.