Joonghoon Lee

joonghoonlee@korea.ac.kr

kakab.jpeg

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