Join Our Lab

Safe LLM · Medical AI · Autonomous Driving · AI Reliability & Safety

연구 관심 분야는 Formal Methods, AI Safety, Medical LLM, Robot Racing입니다. 의료 AI와 자율주행 등 중요한 도메인에서 AI의 안전성과 신뢰성을 위한 포멀 검증 기법 개발에 중점을 두며, 최근에는 임상 의사결정 지원을 위한 도메인 특화 안과 LLM인 Ophtimus를 개발했습니다.

이러한 연구를 함께할 학부연구생 · 석사 · 박사를 모집합니다.

My research interests span Formal Methods, AI Safety, Medical LLM, and Robot Racing. I focus on developing formal verification and validation techniques for 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.

We are recruiting undergraduate research students, M.S., and Ph.D. students to join us in these research endeavors.

---