WonJun Jung

Research Interests

• Programming Languages
• Static Analysis
• Program Synthesis
• Algorithms

Other Interests

• Mathematics
• Algorithms

Education

• B.S. in Computer Science and Engineering, Seoul National University (Mar 2019 - Feb 2026)
  • Intern@ROPAS (July 2025 -)
• Gyeonggi Science High School for the Gifted (Mar 2016 - Feb 2019)

Projects

Contact

• wjjung@ropas.snu.ac.kr
• sjwj5505@snu.ac.kr
• gjwj5505@gamil.com