Janggun Lee (이장건)

Janggun Lee

I am a Ph.D Student at KAIST School of Computing at Concurrency and Parallelism Laboratory.

My interest lies in formal verfication low-level concurrent data structures and systems. I am especially interested in modular and automatic verification of them using separation logic such as Iris.



  • (2024 - Current) Ph.D. in Computer Science. KAIST.

  • (2024) M.S. in Computer Science. KAIST.

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