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.