Associate Professor · Cyber Safety Lab · Gyeongsang National University |
About Me
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.
Email: jin.kim@gnu.ac.kr | jhkim07@gmail.com | Lab Homepage: AiX Lab@GNU | CV: Download CV
Research Interests
I aim to develop methods that provide formal guarantees for systems that directly affect human lives, combining formal methods, data-driven learning, and practical engineering.