Workshop Details

DIMACS visitor Zhicheng Zhang,University of Technology, Sydney kindly agreed to give a mini course on quantum recursive programs. The mini course will begin Thursday April 10, 2025, from 11 am to 12:30pm in CoRE 433 (the conference room). The course is intended to be a beginner’s guide to the topic and the audience is not expected to know a lot about quantum or programming language. The goal is that at the end of the course the audience would have a good understanding of the field and be able to understand the state of the art, e.g. the following two papers by Zhicheng and his advisor Prof. Mingsheng Ying (DIMACS visitor and CS distinguished lecture series speaker on April 29)

1. Verification of Recursively Defined Quantum Circuits (https://arxiv.org/abs/2404.05934)
2. Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (https://arxiv.org/abs/2408.10054)

If you cannot make it, we will record the white board presentation and upload to DIMACS Youtube channel.