Soowon Jeong (정수원)

I am an Undergraduate Student at KAIST School of Computing. I am interested in programming language and formal verification. I joined Concurrency and Parallelism Laboratory to study about formal verification.

Contact

Education

  • (2023) B.S. in Computer Science. KAIST (expected).

Experiences

  • Intern, Pilab, August, 2019 - December, 2019, March, 2020 - June, 2020.

    (topic: Programming language for developing smart contracts)