Yoel Kim

I am a Ph.D. candidate in the School of Computer Science and Engineering at Kyungpook National University, advised by Yunja Choi. My long-term research vision is to make formal verification practical and move us closer to error-free software.

My recent work focuses on the scalability of formal verification. In particular, I design abstraction techniques that automatically construct software models that are easier to verify efficiently.

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.