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.

Contact

Education

Publications