Joonghoon Lee
joonghoonlee@korea.ac.kr

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