2012-07-12
org.kosen.entty.User@6a6b5c8
김소연(sykim0807)
Research Interests:
Formal language theory; Parallel evaluation of Logic programs; optimizing compilers;
국가
대한민국
소속기관
한국과학기술원 (학교)
연락처
042-869-3520 http://pllab.kaist.ac.kr/tc/choe/entry/Home
책임자
최광무 choe@kaist.ac.kr
