I am a Undergraduate Student at KAIST department of Mathematical Sciences and School of Computing. To learn and research about formal verification of concurrent systems, I gladly joined the Concurrency and Parallelism Laboratory. Currently I am working on formal verification of Rust.
- Email: firstname.lastname@example.org
- GitHub: Lee-Janggun
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2022) B.S. in Mathematical Sciences & Computer Science. KAIST (expected).