Jaemin Choi (최재민)
I am an Undergraduate Student at KAIST School of Computing. I am studying formal verification of concurrent systems.
- Email: firstname.lastname@example.org
- GitHub: jh05013
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4432, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2021) B.S. in Computer Science. KAIST (expected).
Awards and Honors
7th place, International Collegiate Programming Contest (ICPC) Seoul Regional, 2019.
4th place award, Samsung Collegiate Programming Cup (SCPC), 2019.