https://jin-kim.net/classes/ai-introduction/ https://jin-kim.net/classes/ai-robotsystems/ https://jin-kim.net/biography/ https://jin-kim.net/classes/capstone-design/ https://jin-kim.net/publications/conferences/ https://jin-kim.net/classes/data-structure/ https://jin-kim.net/photos/events/ https://jin-kim.net/research/formal-methods/from-uppaal-to-go/ https://jin-kim.net/research/formal-verification/ https://jin-kim.net/research/robot-ai/roboracer/ https://jin-kim.net/research/robot-ai/ https://jin-kim.net/research/medical-ai/ https://jin-kim.net/research/formal-methods/ https://jin-kim.net/talks/ https://jin-kim.net/ https://jin-kim.net/publications/journals/ https://jin-kim.net/publications/korean-conferences/ https://jin-kim.net/publications/korean-journals/ https://jin-kim.net/news/ https://jin-kim.net/publications/patents/ https://jin-kim.net/projects/ https://jin-kim.net/publications/ https://jin-kim.net/classes/roboracer/ https://jin-kim.net/classes/software-engineering/ https://jin-kim.net/research/formal-methods/tada/ https://jin-kim.net/research/formal-methods/uppaal/ https://jin-kim.net/ANALYSIS_REPORT/ https://jin-kim.net/research/formal-methods/overview-en/ https://jin-kim.net/research/formal-methods/overview-ko/ https://jin-kim.net/research/medical-ai/erm-quantification/ https://jin-kim.net/research/medical-ai/gait-anomaly-detection/ https://jin-kim.net/research/medical-ai/medical-llm/ https://jin-kim.net/research/medical-ai/ophtimus-v2-tx/ https://jin-kim.net/research/medical-ai/ophtimus-v2/ https://jin-kim.net/research/medical-ai/overview-en/ https://jin-kim.net/research/medical-ai/overview-ko/ https://jin-kim.net/research/robot-ai/overview-en/ https://jin-kim.net/research/robot-ai/overview-ko/ https://jin-kim.net/research/robot-ai/roboracer/roboracer-en/ https://jin-kim.net/research/robot-ai/roboracer/roboracer-ko/ https://jin-kim.net/assets/cv.pdf 2026-01-21T11:46:10+00:00 https://jin-kim.net/google962f8b5b5dc64bcb.html 2026-01-21T11:46:10+00:00