I have a broad interest in formal verification and quantum programming languages.
Master of Science in Mathematics, 2020
Yonsei University, Seoul, South Korea
Bachelor of Science in Physics and Mathematics (Dual Major), 2018
Yonsei University, Seoul, South Korea