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
-
Email: jaemin.yu@kaist.ac.kr
-
GitHub: planetarynebula
-
Bibliography:
DBLP,
Google Scholar
-
Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
Education
- (2021) B.S. in Computer Science. KAIST (expected).
Awards and Honors
- 8th place, International Collegiate Programming Contest (ICPC) Seoul Regional, 2018.