Hector Miller-Bakewell is an author at University of Amsterdam specializing in formal methods, quantum compilers, and quantum entanglement.
Top concepts
EngineeringCircuit DesignFormal MethodsQuantum DevicesQuantum ScienceComputer ScienceHardware SecurityQuantum CompilersQuantum ComputingCircuit Complexity
Publications per year
2021–2021
1
1
There and back again: A circuit extraction tale
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice et al. · Quantum · 2021 · 73 citations · Full text
Rows per page
1–1 of 1