I am interested in the formal verification across a wide range of topics, from computer systems to pure mathematics. Currently, I am studying the automation of formal verification by joining and working at Concurrency and Parallelism Laboratory.
- Email: email@example.com
- GitHub: cwlo2F
- Bibliography: ORCID, DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2024) B.S. in Mathematical Sciences and Computer Science. KAIST (expected).