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


History

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

Research

People / DBLP / CiteSeer / Conferences

Personal