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.
- Email: email@example.com
- GitHub: garamceleste
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2020) B.S. in Mathematical Science. KAIST (expected).