Janggun Lee (이장건)
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.
- Email: firstname.lastname@example.org
- GitHub: Lee-Janggun
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2021) B.S. in Mathematical Sciences & Computer Science. KAIST (expected).