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 focuses on software engineering and formal methods, particularly abstraction techniques for modeling, analyzing, and verifying embedded software.

Currently, I am especially interested in data-assisted abstractions that leverage dynamic information such as test executions and system logs to guide and optimize the abstraction process. You can find more details on LinkedIn, CV, and Google Scholar.