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

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

Awards and Honors

  • 8th place, International Collegiate Programming Contest (ICPC) Seoul Regional, 2018.