Yoel Kim

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 addresses software engineering problems in embedded software using techniques from formal methods and programming languages. His work focuses on abstraction techniques for modeling, analyzing, and verifying software behavior and control logic. He is especially interested in abstraction techniques that leverage dynamic information, such as test executions and system logs, to construct and refine useful representations of program behavior for formal verification and formal specification mining.

More details are available on LinkedIn, CV, and Google Scholar.