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

• Email: soowon.jeong@kaist.ac.kr
• GitHub: jeong0982
• Bibliography: DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

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)