±¹³»¼­¸éÆò°¡ Æò°¡À§¿ø °³º°ÀÇ°ß
(ÇÁ·Î±×·¥ ºÐ¼® ½Ã½ºÅÛ ¿¬±¸´Ü À̱¤±Ù)

¿¬±¸ ¸ñÇ¥ ´Þ¼ºµµ

A The goals of the research were to build a software experiment infrastructure and to research on safe and smart code system. Considering the size and the difficulty of the project, the center accomplished much more than the reviewer can imagine.
B ÇÁ·Î±×·¡¹Ö ¾ð¾î¿Í ÄÄÆÄÀÏ·¯ ºÐ¾ß´Â ±âÃÊÀûÀ̸鼭 ÀüÅëÀûÀÎ ºÐ¾ß·Î¼­ »õ·Î¿î ¿¬±¸ºÐ¾ß °³Ã´°ú ½Ç¿ëÀûÀÎ ¿¬±¸°á°ú âÃâÀÌ ¾î·Á¿î ºÐ¾ßÀÓ. º» »ç¾÷¿¡¼­´Â ±¸Ã¼ÀûÀÎ ¿¬±¸¸ñÇ¥¸¦ Á¦½ÃÇÏ°í À̷аú ½ÇÁ¦ s/w ÇÁ·ÎÅäŸÀÔÀ¸·Î °¡½ÃÀûÀÎ °á°ú¸¦ Á¦½ÃÇÏ¿© ¸ñÇ¥¸¦ ´Þ¼ºÇÔ.
C ¿¬±¸¸ñÇ¥¸¦ ´ëºÎºÐ ÃæºÐÈ÷ ´Þ¼ºÇßÀ¸³ª small code¿Í smart codeÀÇ »ý¼º¿¡ ´ëÇؼ­´Â °èȹ¸¸Å­ ¿¬±¸Çß´Ù°í º¸±â´Â ¾î·Æ´Ù. ´Ü ½ÇÇè ½Ã½ºÅÛ ±¸Çö°ú safe code »ý¼ºÀÇ Ãø¸é¿¡¼­´Â Ãæ½ÇÇß´Ù.

¿øõ±â¼ú È®º¸ Á¤µµ

A All of the 23 papers are published (or being reviewed) in either internationally well-known journals or conference/workshop proceedings in the area, and well-received by referees and fellow researchers. Furthermore, the developed theory is being successfully applied to the software systems. Excellent!
B ¹ßÇ¥³í¹®Àº ÄÄÇ»ÅÍ °úÇÐ ºÐ¾ßÀÇ ÃÖ°í ±ÇÀ§ÀÚÀÎ ACM, LNCS µî¿¡ ½Ç·ÈÀ¸¸ç ½É»çÀ§¿øÀÇ Æò°¡µµ °øÁ¤ÇÏ°í ´ëºÎºÐ ±àÁ¤ÀûÀ̾úÀ½. ±¹Á¦ Çмú´ëȸ ¹ßÇ¥ ³í¹®, ÃÊû ³í¹® ½ÇÀûµµ ¿ì¼öÇÔ. ƯÇã Ãâ¿ø ½ÇÀûÀÌ ÀúÁ¶Çϳª °ü·Ã ºÐ¾ß ƯÇã Ãâ¿øÀÌ ¾î·Á¿î ºÐ¾ßÀÓ
C ¿ì¼öÇÑ ³í¹®À» ´Ù¼ö ¹ßÇ¥Çß´Ù. ¼¼°èÀû ¼öÁØ°ú ºñ±³ÇÒ ¶§ »óÀ§ À§Ä¡¿¡ ÀÖ´Â ³í¹®ÀÌ 2Æí Á¤µµ µÈ´Ù. ±¹³» ¿¬±¸ ¼öÁØÀÌ ¿­¾ÇÇÑ ºÐ¾ßÀÎ À̷аú ÇÁ·Î±×·¡¹Ö ¾ð¾î ºÐ¾ß¿¡¼­ ÀÌ¿Í °°Àº °á°ú¸¦ ¾ò¾ú´Ù´Â °ÍÀº ¸Å¿ì °í¹«ÀûÀÌ´Ù. ÇÏÁö¸¸ ¼¼°è ÃÖ°í ¼öÁØ°ú´Â ¹Ì¼¼ÇÑ Â÷ÀÌ°¡ ÀÖ´Ù.

Â÷¼¼´ë ¿¬±¸¸®´õ·Î¼­ÀÇ ¼ºÀå °¡´É¼º

A The members of the center are very active in both publishing research results and communication with other researchers. Their activity is gradually recognized by other international researchers. Thus, the ROPAS has a great potential to be a leading research center internationally.
B È°¹ßÇÑ ±¹Á¦ Çмú ±³·ù °á°ú°¡ ÀÖÀ½. ¹Ì±¹ÀÇ ´ëÇ¥ÀûÀÎ ¿¬±¸ ±×·ì»Ó¸¸ ¾Æ´Ï¶ó, ÇÁ·Î±×·¡¹Ö ¾ð¾î³ª ÄÄÆÄÀÏ·¯ ºÐ¾ß¿¡¼­ ÀüÅëÀûÀ¸·Î ¿ì¼öÇÑ À¯·´ÀÇ ¿¬±¸±×·ì°ú ±³·ùÇÑ °á°ú°¡ µ¸º¸ÀÓ.
C ¿¬±¸¿ª·®°ú ´É·ÂÀ» º¸°Ç´ë ÇöÀç ¹ú½á ¿¬±¸¸®´õ·Î¼­ À§Ä¡¸¦ Â÷ÁöÇÏ°í ÀÖ´Ù. ƯÈ÷ ÇØ¿Ü ¿¬±¸ÆÀ°ú ¿¬±¸±³·ù ¼öÁØ°ú ¿¬±¸°á°ú·Î º¼ ¶§ ¼¼°èÀû ¼öÁØ¿¡¼­ º¸¸é ¹Ì±¹ÀÇ CMU, BerkeleyÀÇ ¼öÁØÀº µÇÁö ¾ÊÁö¸¸ ¹Ù·Î ´ÙÀ½ À§Ä¡¸¦ Á¡ÇÏ°í ÀÖ´Ù. µû¶ó¼­ ¸Å¿ì ³ôÀÌ Æò°¡ÇÒ ¼ö ÀÖ´Ù.

ÇâÈÄ ¿¬±¸°èȹÀÇ ÀûÀý¼º

A The rest of the research is focused on elaborating the theory and applying it to real-life software. The reviewer is positively affirmative in the successful realization of the initial goal of the project.
B 1 ´Ü°è ¸ñÇ¥ÀÎ ¾ÈÀüÇÏ°í, ´Ù¾çÇÑ ½ÇÇàȯ°æ¿¡ ÀûÀÀÇÏ´Â (smart) ÇÁ·Î±×·¥ ÄÚµå »ý¼º¿¡ °üÇØ °¡½ÃÀûÀÎ ¼º°ú¸¦ ¹ÙÅÁÀ¸·Î, 2 ´Ü°è¿¡¼­ Å©±â°¡ ÀÛÀº Äڵ带 »ý¼ºÇÏ´Â ¹®Á¦¿¡ ÃÊÁ¡À» ¸ÂÃã. ÀÎÅÍ³Ý ÄÄÇ»ÅÍ È¯°æ¿¡¼­ ¸Å¿ì À¯¿ëÇÑ ¿¬±¸°á°ú¸¦ ±â´ëÇÒ ¼ö ÀÖÀ½.
C Áö³­ 3 ³â °£ ÀÌ·ç¾îÁø ¿¬±¸ Áß¿¡¼­ ¹ÌÈíÇÑ ºÎºÐÀÌ ÃæºÐÈ÷ º¸¿ÏµÇ¸®¶ó ÆÇ´ÜÇÑ´Ù. ¹°·Ð ÀÌ ¿¬±¸°á°ú°¡ »ó¾÷ÀûÀ¸·Î ¹Ù·Î ÀÌ¿ëµÉ ¼ö ÀÖÁö´Â ¾Ê°ÚÁö¸¸ ±¹³» °ü·Ã ¿¬±¸¸¦ È°¼ºÈ­ÇÏ°í, ±¹³» ¿¬±¸ ¼öÁØÀ» Å©°Ô ³ôÀÏ ¼ö ÀÖÀ» °ÍÀÌ´Ù. ´Ü, small & smart ¶ó´Â °üÁ¡¿¡¼­ ¿¬±¸ºÎºÐÀÇ ±â¼úÀÌ Á» ºÎÁ·ÇÑ °ÍÀ» Á¦¿ÜÇÏ¸é ¿¬±¸ °èȹÀº ÀûÀýÇÏ´Ù°í ÆÇ´ÜÇÑ´Ù.


ÇÁ·Î±×·¥ ºÐ¼® ½Ã½ºÅÛ ¿¬±¸´Ü