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.

Contact

• Email: janggun.lee@kaist.ac.kr
• GitHub: Lee-Janggun
• Bibliography: DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

• (2021) B.S. in Mathematical Sciences & Computer Science. KAIST (expected).