영문성명: Jin Young Choi [명예교수]

이메일: narnia@korea.ac.kr

연구실 위치 / 내선번호: 로봇융합관 307호

홈페이지 주소: https://sites.google.com/view/kuformal

연구분야: 컴퓨팅 이론, 실시간 컴퓨팅, 정형기법, 소프트웨어보안공학