ÀúÀÚ ¼Ò°³
À̱¤±Ù (ÁöÀºÀÌ)
ÇöÀç ¼¿ï´ëÇб³ ÄÄÇ»ÅÍ°øÇкΠ±³¼ö. KAIST Àü»êÇаú ±³¼ö ¿ªÀÓ. ±³À°°úÇбâ¼úºÎ ÁöÁ¤ ¼±µµ¿¬±¸¼¾ÅÍ ¼¾ÅÍÀå, °úÇбâ¼úºÎ ÁöÁ¤ âÀÇ¿¬±¸´Ü ´ÜÀå ¿ªÀÓ. Bell Labs-Software Principles Research Department Á¤±Ô ¿¬±¸¿ø ¿ªÀÓ. MIT, Stanford, CMU, Æĸ® °íµî»ç¹üÇб³(ENS Paris) ¹æ¹®±³¼ö, Facebook Research Scientist ¿ªÀÓ.
Àú¼: Introduction to Static Analysis. MIT Press. 2020.
ÄÄÇ»ÅÍ°úÇÐÀÌ ¿©´Â ¼¼°è. ÀλçÀÌÆ®. 2015.
ȨÆäÀÌÁö: kwangkeunyi.snu.ac.kr