Jaehwang Jung (정재황)

Jaehwang Jung

I am a PhD 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 a complex interaction of libraries and manual memory management on weak memory models.

Contact

Education

  • (2020 - Current) Ph.D. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).

  • (2020) B.S. in Computer Science. KAIST.

Publications

Experiences