John Zhuoyang Ye

John Zhuoyang Ye

CS PHD student in UCLA.

About me

This is the academic personal website of John Zhuoyang Ye.

I’m currently a first-year CS PHD student in UCLA. I’m fortunate to be advised by professor Jens Palsberg . Before starting Phd, I completed my master’s degree in quantum science and technology MQST in the UCLA department of physics. I was an undergraduate at Shanghai Jiaotong University majoring in Computer Science before I joined UCLA.

I’m deeply attracted by the idea of building a quantum computer. Design a new programming language for a fault-tolerant quantum computer is the goal of my research and career.

I’m an enthuasic quantum geek. As the first generation of quantum programmers, I participated in many quantum programming Hakathons. In 2024, I led team QuBruin to win the the first place of iQuHACK held by MIT in the remote challenge of Quendela iQuHACK2024. I also led QuBruin to win the third place of grand prizes in YQuantum held by Yale quantum institute YQuantum2024.

I’m looking forward to connecting with people who share the same interests with in in quantum programming!

Research areas

I work on the intersection area between programming languages and quantum error correction, which include:

  1. Static analysis of quantum programs I use static analysis tools to analyze the correctness and efficiency of quantum programs.

  2. Formal verification of logical quantum algorithms I use abstract interpretations and Hoare logic to prove important properties of a logical quantum algorithm. Specifically, I’m working on verifying the fault tolerance of quantum circuits when there is error propagation. I use static analysis and formal methods to prove the algorithmic error threshold for any logical quantum algorithm.

  3. Compilation of quantum algorithms to physical hardware I have worked on building a quantum compiler from a high-level source language to lower-level target code in different hardware, such as superconducting quantum computer, trapped ion quantum computer, or neutral atoms quantum computer.

  4. Design a new programming language for large-scale fault tolerant quantum computers This involves ideas from classical programming languages such as type systems, object oriented programming. A new programming language will make large scale fault tolerant quantum programming much easier for users.

Contact Info

I encourage you to send email to my ucla cs address:

yezhuoyang@cs.ucla.edu