Dongwoo Oh (오동우)

I am an Undergraduate Student at Department of Mathematical Sciences at KAIST. I am grateful to start pursuing a Master’s degree (advisor: Prof. Jeehoon Kang from Spring 2020. 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.