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.
We conduct research on the safety of software systems.
We provide education in AI, formal methods, and software engineering.
We develop medical AI and autonomous driving software for racing.
We compete with other teams to build safer and more reliable software.
Updates from the AiX Lab, including research progress, publications, and people-related achievements.
The AiX Lab continues advancing research in AI Safety, Medical AI, and reliable machine learning systems. Our recent achievements include four SCI(E) publications in 2025, spanning formally verified CPS code generation, ophthalmic medical AI, video-based gait anomaly detection, and domain-specific large language models.
We work closely with clinicians and autonomous driving researchers in Korea and abroad.
Our clinical collaborators often describe our group as one of the key experts in applying AI to medicine, especially in ophthalmology.
Ophthalmology collaborators
Colleagues in autonomous driving research recognize us as specialists in the F1TENTH platform and one of the leading teams in Korean autonomous racing.
Autonomous driving collaborators