Skip to main content
Industry & alumni

Microsoft

Integrate Automatic Oracle Synthesis into QDK for Resource Estimation

This project aimed to make quantum programming easier by automatically compiling classical code in Q# into quantum-equivalent operations in QIR for subsequent use with Azure Quantum Resource Estimation. One barrier to using automatic resource estimation tools is the requirement for a scalable quantum algorithm as input. Few scalable applications are readily available to download, and it is not easy to write them from scratch. Automatic oracle synthesis is one way to lower this barrier and works well for applications that have a large classical part, e.g., optimization algorithms on top of Grover search. For these the most difficult part is to implement the classical oracle that is used in the Grover Iteration. Since these oracles describe classical functions, one can leverage automatic so-called oracle synthesis algorithms that given a classical description of the function generate a quantum operation. Some of the techniques even allow to take objective functions into account and can yield various implementations which allow for a design space exploration.

Faculty Adviser(s)

Sara Mouradian, Electrical & Computer Engineering

Related News

UW students are joined by the Snohomish County Auditor and IT leadership at the 2025 Senior Design

Thu, 07/17/2025

UW engineering students develop smart ballot solution

UW engineering students develop smart technology solution to improve ballot collection for Snohomish County.

People examining a table with mechanical prototypes and a laptop at an exhibition.

Mon, 07/07/2025 | UW Mechanical Engineering

Capstone creations

Students displayed innovative capstone design projects at the 2025 expo.

Close-up of utility poles with mounted electronic devices and cables in an outdoor setting

Fri, 09/20/2024 | UW Civil & Environmental Engineering

Smarter irrigation for a greener UW

A new project combines satellite data with ground sensors to conserve water and create a more sustainable campus environment.

One person is sitting in a hammock chair, while another person holds part of the frame structure

Mon, 09/09/2024 | UW Mechanical Engineering

Testing an in-home mobility system

Through innovative capstone projects, engineering students worked with community members on an adaptable mobility system.