Back to advisors
KY
Kwangkeun Yi
Professor · Dept. of CSE
Seoul National University · South KoreaStatic program analysisStatic analysis for safe softwaresProgramming systems application of static analysis technologyHOT (higher-order & typed) programming system
Data verified 9/6/2026Source