Æ÷Ä¿½º iN
¿ì¼ö¼º°ú

ÀüÀÚÁ¤º¸ ºÐ¾ß ¿ì¼ö¼º°ú¸¦ Á¤¸®ÇÏ¿´½À´Ï´Ù.

  • °Ë»ö
  • Amazon Research Award (Automated Reasoning ºÐ¾ß) Çã±âÈ« ±³¼ö
  • V8À» À§ÇÑ »ý¼ºÇü ¹ø¿ª °Ë»êÀ¸·Î ¼¼°èÀûÀÎ IT ±â¾÷ ¾Æ¸¶Á¸(Amazon)¿¡¼­ Àü ¼¼°è ¿ì¼öÇÑ Àü»êÇÐ ºÐ¾ß ¿¬±¸ÀÚµéÀ» Áö¿øÇϱâ À§ÇÏ¿© 2015³â¿¡ ½Å¼³ÇÑ ÇÁ·Î±×·¥ Amazon Research Award (Automated Reasoning ºÐ¾ß) ¼ö»ó
  • ISCA 2024 Distinguished Artifact Award (¹ÚÁ¾¼¼ ±³¼ö ¿¬±¸ÆÀ)
  • ÀûÀÀÇü AIÀÇ ±â¹Ý ±â¼úÀÎ ¡®¿¬¼Ó ÇнÀ¡¯ °¡¼ÓÀ» À§ÇÑ ½Å°æ¸Áó¸®ÀåÄ¡(NPU) ±¸Á¶ ¹× ¿Âµð¹ÙÀ̽º ¼ÒÇÁÆ®¿þ¾î ½Ã½ºÅÛÀ» ÃÖÃÊ °³¹ß·Î ÇâÈÄ ¿Âµð¹ÙÀ̽º AI ½Ã½ºÅÛ ¿¬±¸ÀÇ Áö¼ÓÀûÀÎ ¹ßÀüÀ» À§ÇØ ¿ÀǼҽº·Î °ø°³ÇÑ ÄÚµå, µ¥ÀÌÅÍ µîÀÇ ¿Ï¼ºµµ Ãø¸é¿¡¼­ ³ôÀº Æò°¡
  • ACM MobiSys 2024 Best Paper Award (±è¼º¹Î ±³¼ö ¿¬±¸ÆÀ)
  • ¸ð¹ÙÀÏ ÄÄÇ»Æà ºÐ¾ßÀÇ ÃÖ°í ±¹Á¦ Çмú´ëȸ ACM MobiSys 2024 Best Poster Award
  • 2024³â °úÇС¤Á¤º¸Åë½ÅÀÇ ³¯ Á¤º¸Åë½Å À¯°øÀÚ Á¤ºÎÆ÷»ó ±ÙÁ¤Æ÷Àå ¿ÀÇý¿¬ ±³¼ö
  • ÀΰøÁö´É ºÐ¾ßÀÇ ±Û·Î¹ú ¸®´õ·Î¼­ ±¹³»¿Ü ÀΰøÁö´É ±³À°°ú ¿¬±¸¸¦ ¼±µµÇÏ°í À±¸®Àû À̽´¿¡ Àû±ØÀûÀ¸·Î Âü¿©ÇÏ¿© Çѱ¹ÀÇ ÀΰøÁö´É ºÐ¾ß ±¹Á¦ À§»ó Çâ»ó¿¡ ±â¿©
  • 2024³â °úÇС¤Á¤º¸Åë½ÅÀÇ ³¯ °úÇбâ¼úÁøÈï À¯°øÀÚ Á¤ºÎÆ÷»ó ±¹¹«ÃѸ®Ç¥Ã¢ ¹èÁØ¿ì ±³¼ö
  • ¾çÀÚÁ¤º¸ÀÌ·Ð ºÐ¾ß¿¡¼­ ±¹Á¦ÀûÀ¸·Î ÀÎÁ¤¹Þ´Â ¿¬±¸ÀÚ·Î ³ôÀº ¼öÁØ ¿¬±¸ ¼º°ú, ¼¼°è ÃÖÃÊ ¿Â¶óÀÎ ±³À° ÇÁ·Î±×·¥ °³¹ß ¹× ¾çÀÚ±â¼ú ±¹Á¦Ç¥ÁØÈ­ µî Çмú, ±³À°, »ê¾÷È­¿¡ ±â¿©
  • 2024³â °úÇС¤Á¤º¸Åë½ÅÀÇ ³¯ °úÇбâ¼úÁøÈï À¯°øÀÚ Á¤ºÎÆ÷»ó °úÇбâ¼úÆ÷Àå ¹ÚÁø¾Æ ±³¼ö
  • ´ÙÁß°¨°¢ ½Ã°¢È­ ¹× ¸ðµ¨¸µ ±â¹ý ¿¬±¸¸¦ ÅëÇÏ¿© »ý¸í¡¤ÀÇÇÐÀ¶ÇÕºÐ¾ß °úÇбâ¼ú ¹ßÀü¿¡ ±â¿©ÇÏ°í, ±¹Á¦ Çмú±³·ù È°µ¿°ú ÇÔ²² ¿©¼º°øÇÐÀÚ ¸®´õ·Î¼­ °úÇбâ¼ú ÁøÈï¿¡ ±â¿©ÇÔ