Notice: I moved to Research Institute of Electrical Communication, Tohoku University at April 1st, 2005. The link to this new page is not stable yet.

Kwanghoon Choi

Postdoc. (Sept. 2003 - )
PL lab., School of Information Science
Japan Advanced Institute of Science and Technology (JAIST)
1-1 Asahidai, Tatsunokuchi, Ishikawa, 923-1292, Japan
Tel: {+81,0} 761-51-1351   /   Fax: {+81,0} 761-51-1149


Research Interests: programming language, compiler, abstract machine, type system, logic


People / DBLP / CiteSeer / Conferences