Jaehwang Jung (정재황)

Jaehwang Jung

I am an Undergraduate Student at KAIST School of Computing. I’m interested in various topics including but not limited to verification of concurrent and distributed systems, tools for easier concurrent programming, and type systems.

Contact

Education

Publications

Experiences