Yunxiang (Aslan) Zhang

Yunxiang (Aslan) Zhang

PhD Student

University of Chicago

I study programming languages and formal methods for quantum computing, and their connection to quantum information theory. I am also interested in formal methods for probabilistic computing and machine learning.

Interests
  • Hybrid Quantum Computing
  • Quantum Contextuality
  • Quantum Coding Theory
  • Measurement-Calculus
  • Kleene Algebra
  • Neural Symbolic Networks
Education

  • B.Sc. in Computer Science and Physics, 2022

    University of British Columbia, Vancouver, BC, Canada