M.S. Student
Software Analysis Lab
Computer Science Department
College of Informatics
Korea University
[github] [website]

I am currently a Master’s student in Computer Science and Engineering at Korea University, where I also completed my Bachelor of Science in the same field. I am actively contributing as a researcher in the Software Analysis Lab.

My research interests are in the following areas:

• Software Verification, Analysis, and Engineering
• Programming Languages
• Mathematical Optimization
• Quantum Computing

For more details, please visit my personal website.