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

Experiences