Projects


A Study on Ubiqutous Programming Environment

  • Á¦¸ñ: À¯ºñÄõÅͽº ÄÄÇ»ÆÃÀ» À§ÇÑ ÇÁ·Î±×·¡¹Ö ȯ°æ ¿¬±¸
    (A Study on Programming Environment for Ubiquitous Computing)
  • °úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 2006.3 ~ 2009.2
  • Áö¿ø±â°ü: °úÇбâ¼úºÎ ƯÁ¤±âÃÊ°úÁ¦
  • ÇÁ·ÎÁ§Æ® ¼Ò°³ .

  • À¯ºñÄõÅͽº µµ½Ã Á¤º¸ ¼­ºñ½º

  • Á¦¸ñ: SUITE (Seoul Ubiquitous Information and Telecommunication Environment) Ŭ·¯½ºÅÍ ±¸Ãà
  • °øµ¿¿¬±¸¿ø : ⺴¸ð ±³¼ö
  • ±â°£ : 2005.12 ~ 2010.11
  • Áö¿ø±â°ü: ¼­¿ï½Ã
  • ÇÁ·ÎÁ§Æ® ¼Ò°³ .

  • A Study on Mobile Java Programming Environment

  • Á¦¸ñ: Á¤Àû ºÐ¼®À» ÀÌ¿ëÇÑ ¸ð¹ÙÀÏ ÀÚ¹Ù ÇÁ·Î±×·¥ÀÇ È¿À²ÀûÀÎ ÀÚ¿ø »ç¿ëÀ» À§ÇÑ È¯°æ ¿¬±¸
    (A Study on Mobile Java Programming Environment for Efficient Resource Usage using Static Analysis )
  • °úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 2002.9 ~ 2005.8
  • Áö¿ø±â°ü: °úÇÐÀç´Ü ƯÁ¤±âÃÊ°úÁ¦
  • °úÁ¦ ȨÆäÀÌÁö .

  • A Study on Development of Practical Analysers for Java

  • Á¦¸ñ: ÀÚ¹Ù ¾ð¾î¸¦ À§ÇÑ ½Ç¿ëÀûÀÎ ºÐ¼®±â °³¹ß¿¡ °üÇÑ ¿¬±¸
    (A Study on Development of Practical Analyzers for Java)
  • °úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 2000.9 ~ 2002.8
  • Áö¿ø±â°ü: °úÇÐÀç´Ü ƯÁ¤±âÃÊ°úÁ¦
  • ¸ñÇ¥: ÀÚ¹Ù ¾ð¾î¸¦ À§ÇÑ ½Ç¿ëÀûÀÎ Á¤Àû ºÐ¼®±â °³¹ß
  • ¿ä¾à.

  • ¿©ÀÚ´ëÇÐ ±â¹Ý ¿¬±¸

  • Á¦¸ñ: Á¤º¸ ½Ã½ºÅÛ º¸¾ÈÀ» À§ÇÑ ±â¹Ý ¹× ÀÀ¿ë ±â¼ú ¿¬±¸
  • ¼¼ºÎ°úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 1999.4 ~ 2001.4
  • Áö¿ø±â°ü: °úÇбâ¼úºÎ ¿¬±¸±â¹Ý È®Ãæ»ç¾÷
  • ¼¼ºÎ°úÁ¦ ¸ñÇ¥: ÀÚ¹Ù ÇÁ·Î±×·¥ÀÇ ¾ÈÀü¼º¿¡ °üÇÑ ¿¬±¸

  • A new language for parallel programming environment

  • Á¦¸ñ: Â÷¼¼´ë °í±Þ ¾ð¾î ¿¬±¸
  • ¼¼ºÎ°úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 1996.10 ~ 1999.8
  • Áö¿ø±â°ü: KISTEP(°úÇбâ¼úÁ¤Ã¥¿¬±¸¿ø)
  • ¼¼ºÎ°úÁ¦ ¸ñÇ¥: º´·Ä ÇÁ·Î±×·¡¹Ö ȯ°æÀ» À§ÇÑ Â÷¼¼´ë °í±Þ ¾ð¾î °³¹ß

  • A Study on Prolog Compiler

  • Á¦¸ñ: ³í¸® ¾ð¾î ÄÄÆÄÀÏ·¯ ¿¬±¸
  • °úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 1997.5 ~ 1998.2
  • Áö¿ø±â°ü: Çѱ¹ÀüÀÚÅë½Å¿¬±¸¿ø(ETRI)

  • Static Analysis of ML and Prolog Programs

  • Á¦¸ñ: Standard ML°ú Prolog ÇÁ·Î±×·¥¿¡ »ç¿ëµÉ È¿À²ÀûÀÎ Á¤Àû ºÐ¼®±â °³¹ß
  • ¼¼ºÎ°úÁ¦Ã¥ÀÓÀÚ: ⺴¸ð ±³¼ö
  • ±â°£ : 1995.8 ~ 1998.8
  • Áö¿ø±â°ü: °úÇÐÀç´Ü ƯÁ¤±âÃÊ°úÁ¦
  • ¸ñÇ¥: Standard ML°ú Prolog ¾ð¾î¸¦ À§ÇÑ È¿À²ÀûÀÎ Á¤Àû ºÐ¼®±â °³¹ß

  • Click here to return to my Home Page.