Jaemin Yu (유재민)

I am an Undergraduate Student at KAIST School of Computing. I’m studying Rust and Coq to do a formal verification of the concurrent system.

Contact

Education

Awards and Honors