Maslov’s work spans theoretical and practical aspects of quantum‐circuit design, compilation, and optimization. Key contributions include: •
Reversible circuit synthesis - Developed algorithms for synthesizing reversible Boolean functions using minimal numbers of Toffoli and CNOT gates, or alternatively circuit cost metrics (along with appropriate gate‐count lower bounds). These include a highly-cited simple, efficient, and high-performing MMD algorithm for reversible logic synthesis. Maslov's 2007 framework for optimized reversible circuit synthesis reduced gate counts by up to 40% compared to prior methods. •
Frameworks for reversible and quantum circuit optimization - Introduced and developed two variants of the templates optimization technique for classes of circuits of interest, as well as
phase polynomial framework for quantum circuit optimization, now considered standard in the field. •
Clifford and Clifford+T circuit synthesis - Obtained multiple results on the synthesis and optimization of circuits with
Clifford gates, including short layered decomposition of the form -X-Z-P-CX-CZ-H-CZ-H-P, exact (in the number of the degrees of freedom) parametrization of
Clifford group elements by quantum circuits, and computational advantage by Clifford circuits over classical reversible
CNOT circuits. Developed optimal synthesis of Z-angle rotations over Clifford+T gate library. Introduced techniques for minimizing the number of expensive T gates in Clifford+T circuits, including heuristics that exploit ancilla qubits and parallelization to reduce T-depth. His 2014
phase polynomial method achieved T-count reductions up to 50% on standard benchmarks. •
Physical-level quantum compilation - Developed optimized implementations of basic quantum gates and a compiling protocol for an
ion trap quantum computer equipped with control by two-qubit and single-qubit pulses, parallel entangling gates, as well implementations of foundational computational primitives such as multiply-controlled
Toffoli gates,
quantum Fourier transform, and elements of the
Clifford group using a small number of global
Molmer-Sorensen gates. •
Synthesis and optimization for common operations and subcircuits - Developed depth optimal quantum circuit synthesis method for frequently used quantum logical operations. •
Estimation and benchmarking of quantum advantage - Led development of quantum-vs-classical benchmarking protocols, including the first resource-estimation study for demonstrating quantum advantage in space-limited scenarios, establishing benchmarks for near-term quantum devices. •
Low-overhead, fault-tolerant memory - Contributed to the design of bicycle bivariate quantum
LDPC codes with the error threshold comparable to the industry-standard surface code yet a 10x reduction in the physical qubit count, leading to a high-threshold low-overhead fault-tolerant quantum memory. == Awards and recognition ==