I am an associate professor in the Department of AI Information Engineering at Gyeongsang National University, where I serve as the Director of AiX Lab and the Chairman of RoboRacer. I completed my postdoctoral research under the supervision of Professor Insup Lee at the University of Pennsylvania.

My research interests span Formal Methods, AI Safety, Medical LLM, and Robot Racing. I focus on developing formal verification and validation techniques for cyber-physical systems (CPS), and advancing the safety and trustworthiness of AI in critical 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.