Janggun Lee (이장건)

I am a Ph.D Student at KAIST School of Computing at CASYS Lab, supervised by Jongse Park.

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

Currently, I am looking into verification of out-of-order multicore processors.