Name:Yoel Kim

Bio:

Yoel Kim is a Ph.D. candidate in Computer Science and Engineering at Kyungpook National University, South Korea, under the supervision of Prof. Yunja Choi. His research focuses on software engineering and formal methods, particularly abstraction techniques for modeling, analyzing, and verifying embedded software.

Country:South Korea

Affiliation:Kyungpook National University

Research interests:Model Checking, Automata Learning, Embedded Software