I am an Undergraduate Student at KAIST School of Computing and Department of Mathematical Sciences. I am interested in developing and reasoning about safe algorithms, and I have been doing formal verification of concurrent objects with Iris framework on Coq proof assistant. I have particular interest in verification under realistic situation, e.g. weak memory models.
- Email: email@example.com
- GitHub: kingdoctor123
- Bibliography: ORCID, DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2024) B.S. in Computer Science. KAIST (expected).