返回导师列表
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
数据校验于 9/6/2026数据来源