Jaeho Choi

HyperAccel Compiler팀에서 컴파일러를 개발합니다. 프로그래밍 언어 이론, 소프트웨어 검증, Lean 4를 활용한 AI 수학에 관심이 많습니다.