Jaehwang Jung (정재황)

Jaehwang Jung

I am a graduate student at Concurrency and Parallelism Laboratory, KAIST School of Computing. I am mainly interested in verifying programs using concurrent separation logic. Specifically, I’m focusing on concurrent programs with manual memory management.

Contact

Education

Publications

Experiences