I enjoy making things. Here are a selection of projects that I have worked on over the years.
Comprehensive framework of T-Count Optimization Techniques for Clifford+T Quantum Circuits
Developed a reinforcement logic optimization program that minimizes circuit costs by comparing reinforcement learning with baseline methods like greedy and simulated annealing, utilizing a black-box cost estimator and converting netlists into AIG files for optimization.
A C++-based quantum circuit compilation framework that provides a unified and user-friendly environment for prototyping and evaluating QCS algorithms, along with robust developer tools for low-level data access and quality assurance practices like CI/CD and regression testing.
Develope a C/C++ library for communication between ATTiny85 boards and Raspberry Pi, constructing the complete data path for LED control, and designing choreography and lighting effects for the performance.
Use gray-code synthesis to map the matrices into quantum gates, decomposing and optimizing to get the final quantum circuit with the given basic gate sets.
