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

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

  • °Ë»ö
  • Amazon Research Award (Automated Reasoning ºÐ¾ß) Çã±âÈ« ±³¼ö
  • V8À» À§ÇÑ »ý¼ºÇü ¹ø¿ª °Ë»êÀ¸·Î ¼¼°èÀûÀÎ IT ±â¾÷ ¾Æ¸¶Á¸(Amazon)¿¡¼­ Àü ¼¼°è ¿ì¼öÇÑ Àü»êÇÐ ºÐ¾ß ¿¬±¸ÀÚµéÀ» Áö¿øÇϱâ À§ÇÏ¿© 2015³â¿¡ ½Å¼³ÇÑ ÇÁ·Î±×·¥ Amazon Research Award (Automated Reasoning ºÐ¾ß) ¼ö»ó
  • ISCA 2024 Distinguished Artifact Award (¹ÚÁ¾¼¼ ±³¼ö ¿¬±¸ÆÀ)
  • ÀûÀÀÇü AIÀÇ ±â¹Ý ±â¼úÀÎ ¡®¿¬¼Ó ÇнÀ¡¯ °¡¼ÓÀ» À§ÇÑ ½Å°æ¸Áó¸®ÀåÄ¡(NPU) ±¸Á¶ ¹× ¿Âµð¹ÙÀ̽º ¼ÒÇÁÆ®¿þ¾î ½Ã½ºÅÛÀ» ÃÖÃÊ °³¹ß·Î ÇâÈÄ ¿Âµð¹ÙÀ̽º AI ½Ã½ºÅÛ ¿¬±¸ÀÇ Áö¼ÓÀûÀÎ ¹ßÀüÀ» À§ÇØ ¿ÀǼҽº·Î °ø°³ÇÑ ÄÚµå, µ¥ÀÌÅÍ µîÀÇ ¿Ï¼ºµµ Ãø¸é¿¡¼­ ³ôÀº Æò°¡
  • IEEE Security & Privacy 2024 Distinguished Paper Award (±èÈÖ°­ ±³¼ö ¿¬±¸ÆÀ)
  • ¿ÏÈ­µÈ Á¶°Ç ÇÏ¿¡ »óź¯ÀÌ(under-constrained state mutation)¶ó´Â »õ·Î¿î ±â¹ýÀ» ¼Ò°³ÇÏ°í, ±âÁ¸ Á¢±Ù¹æ½Ä¿¡ ºñÇØ Æò±Õ 30¹è ÀÌ»ó ´õ ÀûÀº ¸Þ¸ð¸®·Î Æò±Õ 4¹è ÀÌ»ó ´õ ³ôÀº ¼º´ÉÀ» ³¾ ¼ö ÀÖ´Â ¡®Benzene¡¯¶ó´Â ½Ã½ºÅÛÀ» ¼³°è
  • ACM MobiSys 2024 Best Paper Award (±è¼º¹Î ±³¼ö ¿¬±¸ÆÀ)
  • ¸ð¹ÙÀÏ ÄÄÇ»Æà ºÐ¾ßÀÇ ÃÖ°í ±¹Á¦ Çмú´ëȸ ACM MobiSys 2024 Best Poster Award
  • ACM CHI 2024 Honorable Mention Award (±è½ÂÁØ ±³¼ö ¿¬±¸ÆÀ)
  • ACM CHI 2024 Honorable Mention 2°Ç ¼ö»ó - ErgoPulse / SYNC-VR
  • ÀÌ´ÞÀÇ °úÇбâ¼úÀλó (2024³â 4¿ù) ¼Õµ¿Èñ ±³¼ö
  • »ýüÁ¶Á÷¿¡ ÀÎÅÍÆäÀÌ½Ì °¡´ÉÇÑ ½ÅÃ༺ ¹ÙÀÌ¿À ÀüÀÚ¼ÒÀÚ ½Ã½ºÅÛ °³¹ß