I work as a developer and researcher in the area of quantum software systems. Primarily, my work is focused on quantum synthesis. I actively contribute towards several projects in this category:
BQSKit: Berkeley Quantum Synthesis Toolkit. A quantum software system centered around synthesis.
QFAST: Quantum Fast Approximate Synthesis Tool. An optimizer-based synthesis tool that hierarchically breaks down large problems into smaller ones. This is done by employing a continuous Pauli encoding of quantum circuits.
qFactor: Quantum Fast Circuit Optimizer. A domain-specific optimizer for quantum circuits. qFactor uses analytic methods to minimize the distance between a circuit structure and a target unitary matrix.