About Us

AiX Lab at Gyeongsang National University advances trustworthy AI through mathematically grounded verification, safe domain-specialized LLMs, clinically meaningful medical intelligence, and real-world autonomous racing platforms.

 Research

We study the safety, reliability, and performance of software and AI systems, from formal specifications to real-world deployments.

 Education

We teach AI, formal methods, and software engineering with hands-on labs, focusing on building trustworthy, system-level thinking.

 Development

We develop medical AI pipelines and autonomous driving stacks for real-world racing and clinical applications.

 Competition

We participate in F1TENTH, RoboRacer, and AI challenges, testing our ideas in competitive and realistic environments.

News

Recent updates from AiX Lab, including research progress, publications, conference activities, and people-related achievements.

AiX Lab โ€“ ํ•™๋ถ€์—ฐ๊ตฌ์ƒ/์„์‚ฌ/๋ฐ•์‚ฌ/์„๋ฐ•ํ†ตํ•ฉ ๊ณผ์ • ๋ชจ์ง‘ ์•ˆ๋‚ด

Updated: 2025

AiX Lab์€ ํ•™๋ถ€์—ฐ๊ตฌ์ƒ, ์„์‚ฌ๊ณผ์ •, ๋ฐ•์‚ฌ๊ณผ์ •, ์„ยท๋ฐ• ํ†ตํ•ฉ๊ณผ์ • ์ง€์›์ž๋ฅผ ๋ชจ์ง‘ํ•˜๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค.

์ฃผ์š” ์—ฐ๊ตฌ ๋ถ„์•ผ๋Š” Medical AI, Autonomous Driving (F1TENTH / RoboRacer), AI Safety & CPS Verification์ž…๋‹ˆ๋‹ค.

์ž์„ธํ•œ ๋ชจ์ง‘ ์š”๊ฐ• ๋ฐ ์ง€์› ์–‘์‹์€ ์•„๋ž˜ ํŽ˜์ด์ง€์—์„œ ํ™•์ธํ•˜์‹ค ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

๐Ÿ”— https://aix.gnu.ac.kr/join.html

F1Tenth Global Festa 2025 โ€“ 5์œ„ ์ˆ˜์ƒ

Dec 1โ€“2, 2025

F1Tenth Global Festa 2025์— AiX Lab ๋Œ€ํ‘œ๋กœ ์ „๊ด‘์„ํ™” ํŒ€์ด ์ฐธ๊ฐ€ํ•˜์—ฌ 5์œ„๋ฅผ ์ˆ˜์ƒํ–ˆ์Šต๋‹ˆ๋‹ค.

์ž์œจ์ฃผํ–‰ ๋ ˆ์ด์‹ฑ ํ”Œ๋žซํผ F1TENTH๋ฅผ ํ™œ์šฉํ•œ ๊ธ€๋กœ๋ฒŒ ๋Œ€ํšŒ์—์„œ ์šฐ์ˆ˜ํ•œ ์„ฑ๊ณผ๋ฅผ ๊ฑฐ๋‘์—ˆ์Šต๋‹ˆ๋‹ค.

NeurIPS 2025 โ€“ Conference Participation

Dec 2โ€“7, 2025 ยท San Diego Convention Center

๋ฏธ๊ตญ ์ƒŒ๋””์—์ด๊ณ ์—์„œ ์—ด๋ฆฐ NeurIPS 2025์— ๊น€์ง„ํ˜„, ์กฐ๋ฏผ์•„, ์กฐ์€์•„๊ฐ€ ์ฐธ๊ฐ€ํ–ˆ์Šต๋‹ˆ๋‹ค.

LLM Safety, World Models, Medical AI ์„ธ์…˜ ๋ฐ ์›Œํฌ์ˆ์— ์ง‘์ค‘ ์ฐธ์—ฌํ•˜๋ฉฐ, ํ–ฅํ›„ ์—ฐ๊ตฌ ๋ฐฉํ–ฅ๊ณผ ๊ณต๋™ ์—ฐ๊ตฌ ๊ธฐํšŒ๋ฅผ ๋ชจ์ƒ‰ํ–ˆ์Šต๋‹ˆ๋‹ค.

2025 โ€“ SCI(E) ๋…ผ๋ฌธ 4ํŽธ ๊ฒŒ์žฌ ์™„๋ฃŒ

2025

2025๋…„์— ์ด 4ํŽธ์˜ SCI(E) ๋…ผ๋ฌธ์ด ๊ฒŒ์žฌ ๋˜๋Š” ์ถœํŒ ์Šน์ธ๋˜์—ˆ์Šต๋‹ˆ๋‹ค (IEEE Access 2ํŽธ, Scientific Reports 2ํŽธ).

  • Soomin Cho, Inhye Kang, Kim, Jin Hyun.
    "From Timed Automata to Go: Formally Verified Code Generation and Runtime Monitoring for Cyber-Physical Systems."
    IEEE Access, 13:161729โ€“161749, 2025. [PDF]
  • S. Baek, I. Lee, K. Jin Jang, Y. Han, and J. H. Kim.
    "Low-Cost and Fast Epiretinal Membrane Detection and Quantification Based on SD-OCT."
    IEEE Access, vol. 13, pp. 196887-196901, 2025. doi: 10.1109/ACCESS.2025.3629332. [PDF]
  • H. Yoon, E. Jo, S. Ryu, J.-I. Yoo, M. Kim, and J. H. Kim.
    "Noise-robust markerless video gait anomaly detection via two-stage acquisition and LSTM autoencoders."
    Scientific Reports, 15, 42074, 2025. doi: 10.1038/s41598-025-26169-9. [PDF]
  • M. Kwon, K. J. Jang, S. J. Baek, Y. S. Han, H. Choi, I. Lee, and J. H. Kim.
    "Ophtimus-V2-Tx: a compact domain-specific LLM for ophthalmic diagnosis and treatment planning."
    Scientific Reports, 15, 43532, 2025. doi: 10.1038/s41598-025-27410-1. [PDF]

Research Highlights

2025

AiX Lab์€ Medical AI, Autonomous Driving, AI Safety & CPS Verification ๋ถ„์•ผ์—์„œ ์—ฌ๋Ÿฌ ์—ฐ๊ตฌ ๊ณผ์ œ๋ฅผ ๋™์‹œ์— ์ˆ˜ํ–‰ํ•˜๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค.

RoboRacer (F1TENTH) ๊ธฐ๋ฐ˜ ์ž์œจ์ฃผํ–‰ ๋ ˆ์ด์‹ฑ, ์•ˆ๊ณผ ์˜์ƒ ์ •๋Ÿ‰ํ™”, ํฌ๋ฉ€ ๋ฉ”์„œ๋“œ ๊ธฐ๋ฐ˜ CPS ๊ฒ€์ฆ ๋ฐ ์ฝ”๋“œ ์ƒ์„ฑยท๋ชจ๋‹ˆํ„ฐ๋ง ์—ฐ๊ตฌ ๋“ฑ์„ ํ†ตํ•ด ์ด๋ก ๊ณผ ์‹คํ—˜์„ ํ•จ๊ป˜ ๋ฐœ์ „์‹œํ‚ค๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค.

People & Alumni News

2025

  • ๊น€์ง€์› (Jiwon Kim) – ํ•™๋ถ€ ์—ฐ๊ตฌ์ƒ ์กธ์—… (Undergraduate Research Assistant, Graduated)
    ๊ณ ๋ ค๋Œ€ ๋Œ€ํ•™์› ์ง„ํ•™ ํ›„ ์‚ผ์„ฑ์ „์ž (Samsung Electronics) ์ž…์‚ฌ.
    Joined Samsung Electronics after entering Korea University Graduate School.
  • ๊ถŒ๋ฏผ์šฑ (Minwook Kwon) – ์„์‚ฌ ์กธ์—… (M.S., Aug. 2025)
    Public AI ์ž…์‚ฌ (AI Engineer).
    Joined Public AI as an AI Engineer.
  • ๋ฐฑ์Šน์ฃผ (Seungju Baek) – ์„์‚ฌ ์กธ์—… (M.S., Mar. 2025)
    Saltlux ํ•ฉ๋ฅ˜, ์žฌํ•™ ์ค‘ Ophtimus ์•ˆ๊ณผ LLM ์—ฐ๊ตฌ์— ํ•ต์‹ฌ ๊ธฐ์—ฌ.
    Joined Saltlux, made key contributions to the Ophtimus ophthalmology LLM research during studies.

What Our Collaborators Say

We work closely with clinicians and autonomous driving researchers in Korea and abroad, turning theory into impactful systems.

โ€œAiX Lab is one of our key partners in translating AI into clinically meaningful tools, especially in ophthalmology.โ€

Ophthalmology collaborators

โ€œWithin the F1TENTH and RoboRacer community in Korea, AiX Lab is widely recognized as a leading team in autonomous racing and safety.โ€

Autonomous driving collaborators