Youngchan Cho
PhD Student
University of Chicago
I have a broad interest in formal verification and quantum programming languages.
Interests
- Formal Verification
- Quantum Programming Languages
Education
-
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