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 combines formal methods and programming language techniques to address software engineering challenges in embedded systems. He is particularly interested in using execution traces and system logs to construct and refine abstractions for formal verification and specification mining.

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