Xiaoning Bian
I got my Ph.D. in Mathematics from Dalhousie University supervised by Prof. Peter Selinger in 2023 August. You can contact me by bian@dal.ca . For more information, here is my CV .
Areas of Study
Mathematical logic, category theory, and their applications to theoretical computer science.
Past Work
- Agda code for the paper "Quantum homomorphic encryption for Clifford+CS operators"
- My Ph.D. thesis "Generators and relations for some classes of quantum circuits"
- Normalize Boolean Circuits
- Compile Quipper quantum circuit to OpenQasm 2.0 program
- A simple online string rewriting tool
- Finding Gauss-Legendre's three squares --- Implementation of a randomized algorithm by Pollack and Schorn
- Qutrit Matsumoto-Amano normal form
- Matsumoto-Amano normal form
- Finding Lagrange's four squares --- Implementation of a version of Rabin and Shallit's algorithm by Pollack and Trevino
- parseQcir --- a program that parses and draws quantum circuit
- Learn Agda
- Learn Haskell
Publications
|
Opened on: 08/15/2015. Last edited on: 10/10/2022 |
|
