Kwanghoon Choi(최광훈)

Associate Professor (September 2016 - )

Software Languages and Systems Laboratory (소프트웨어 언어 및 시스템 연구실)
Dept. of Software Engineering(소프트웨어공학과)
Chonnam National University(전남대학교)
77 Yongbong-ro, Buk-gu, Gwangju, 61186, Korea
Email: (where X is @)
Tel: {+82,0} 62-530-3421   Fax: {+82,0} 62-530-3439   Office: No.442, Engineering Building 7

연구실 소식(News)

"Types are the central organizing principle of the theory of programming languages." ("타입은 프로그래밍언어 이론의 핵심 구성 원리이다.")
-Robert Harper
"If you don't understand interpreters, you can still write programs; you can even be a competent programmer. But you can't be a master." ("인터프리터/해석기를 몰라도 프로그램을 작성할 수 있다. 유능한 프로그래머도 될 수 있다. 하지만 마스터는 될 수 없다.")
-Hal Abelson, Foreword to "Essentials of Programming Languages" by Friedman, Wand, and Haynes


Research Interests: the design and implementation of programming languages, type systems, compiler, software engineering





Students & Coworkers


Last Updated: July 7, 2020.