WonJun Jung

Research Interests

• Programming Languages
• Static Analysis

Other Interests

• Mathematics
• Algorithms

Education

• B.S. in Computer Science and Engineering & Mathematical Sciences (Double Major), Seoul National University (Mar 2019 - Feb 2026)
  • Leave of absence for military duty during 2022 – 2024
  • Intern@ROPAS (July 2025 -)
• Gyeonggi Science High School for the Gifted (Mar 2016 - Feb 2019)

Projects

• Program Synthesis for Attacking Static Analyzers

Contact

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