Programming Language Lab
°í·Á´ë : Theory and Formal Method lab : ÃÖÁø¿µ :
µ¿±¹´ë : ÇÁ·Î±×·¡¹Ö ¿¬±¸½Ç : ¿À¼¼¸¸ : ³í¹®
µ¿¾ç´ë : PL lab : ½Å½Âö : Teaching
»ó¸í´ë : ÇÁ·Î±×·¡¹Ö ¿¬±¸½Ç : »ç°øÁØ ½Åµ¿ÇÏ : °ÀÇ½Ç ¿¬±¸½Ç
¼¿ï´ë : Programming Research lab : À̱¤±Ù
¼÷¸í¿©´ë : Programming System lab : ⺴¸ð : Research
¿ï»ê´ë : ÀÚµ¿ÇÁ·Î±×·¡¹Ö ¿¬±¸½Ç : ¹èÀçÇÐ : ÀÚµ¿ ³í¸® ÇÁ·Î±×·¡¹Ö
Çѱ¹ Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î ¿¬±¸È¸
ÇѾç´ë : PL lab : µµ°æ±¸ : Publication ¾Ë°í¸®Áò
Çѱ¹Á¤º¸Åë½Å´ë : Parallel Processing lab : À¯Âù¼ö Publications
KAIST : PL lab : ÃÖ±¤¹« ÇÑż÷ À̱¤±Ù ÇÑȯ¼ö : Research Seminar Project Link
KAIST : NLP lab : ¹ÚÁ¾Ã¶ : Course (Prolog Programming °ÁÂ)