Geunyeol Yu

Ph.D. Student
POSTECH, South Korea

rgyen [dot]
Google Scholar

I am a Ph.D. student in the Software Verification Laboratory at POSTECH, under the supervision of Kyungmin Bae. My research focuses on formal analysis and techniques, based on model checking and rewrite theory, aimed at developing secure and reliable computer systems.

Research Interests