Janggun Lee (이장건)

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. Currently I am working on formal verification of Rust.



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