I am a Master Student at KAIST School of Computing. I am studying formal verification of concurrent systems - in particular, I’m working on formal verification of the Rust type checker.
- Email: email@example.com
- GitHub: jh05013
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
(2021 - Current) M.S. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).
(2021) B.S. in Computer Science. KAIST.
Awards and Honors
2nd place (by ICPC rules), International Collegiate Programming Contest (ICPC) Seoul Regional, 2020.
3rd place award, Samsung Collegiate Programming Cup (SCPC), 2020.