Name:Jieung Kim

Country:South Korea

Affiliation:Inha University

Research interests:software formal verification, formal methods, system software, concurrency, distributed systems, operating systems, proof automation, program logic