Youngchan Cho

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