Name:Kwangkeun Yi

Affiliation:Seoul National University, South Korea

Research interests:static analysis, programming language, static verification