Martin Roetteler

Person

Woodinville, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Evaluating quantum computing circuits in view of the resource costs...
- Patent number 12,147,873
- Issue date Nov 19, 2024
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using compiler optimization to enable automatic generation of combi...
- Patent number 11,829,737
- Issue date Nov 28, 2023
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantum bit prediction
- Patent number 11,797,872
- Issue date Oct 24, 2023
- Microsoft Technology Licensing, LLC
- Alexei V. Bocharov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Evaluating quantum computing circuits in view of the resource costs...
- Patent number 11,755,682
- Issue date Sep 12, 2023
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Separable-state simulation of quantum program code
- Patent number 11,699,002
- Issue date Jul 11, 2023
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pebbling strategies for quantum memory management
- Patent number 11,615,334
- Issue date Mar 28, 2023
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic accuracy management for quantum programs via symbolic res...
- Patent number 11,580,434
- Issue date Feb 14, 2023
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic quantum program optimization using adjoint-via-conjugatio...
- Patent number 11,537,376
- Issue date Dec 27, 2022
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for reversible circuit compilation with space constraint, me...
- Patent number 11,341,303
- Issue date May 24, 2022
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Runtime quantum-memory management
- Patent number 11,119,773
- Issue date Sep 14, 2021
- Microsoft Technology Licensing, LLC
- Mathias Soeken
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for approximate quantum circuit synthesis using q...
- Patent number 11,113,084
- Issue date Sep 7, 2021
- Microsoft Technology Licensing, LLC
- Vadym Kliuchnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient synthesis of probabilistic quantum circuits with fallback
- Patent number 11,010,682
- Issue date May 18, 2021
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- B82 - NANO-TECHNOLOGY
Information Patent Grant
System for reversible circuit compilation with space constraint, me...
- Patent number 10,860,759
- Issue date Dec 8, 2020
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for efficient quantum ternary arithmetic
- Patent number 10,726,350
- Issue date Jul 28, 2020
- Microsoft Technology Licensing, LLC
- Xingshan Cui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantum circuit libraries for floating-point arithmetic
- Patent number 10,699,209
- Issue date Jun 30, 2020
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating quantum computing circuits by distributing approximation...
- Patent number 10,664,761
- Issue date May 26, 2020
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verified compilation of reversible circuits
- Patent number 10,664,249
- Issue date May 26, 2020
- Microsoft Technology Licensing, LLC
- Matthew Amy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantum resource estimates for computing elliptic curve discrete lo...
- Patent number 10,430,162
- Issue date Oct 1, 2019
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compilation, memory management, and fault localization with ancilla...
- Patent number 10,423,887
- Issue date Sep 24, 2019
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- B82 - NANO-TECHNOLOGY
Information Patent Grant
Quantum algorithms for arithmetic and function synthesis
- Patent number 10,320,360
- Issue date Jun 11, 2019
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient synthesis of repeat-until-success circuits in clifford +...
- Patent number 10,242,321
- Issue date Mar 26, 2019
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EVALUATING QUANTUM COMPUTING CIRCUITS IN VIEW OF THE RESOURCE COSTS...
- Publication number 20240119108
- Publication date Apr 11, 2024
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REINFORCEMENT LEARNING WITH QUANTUM ORACLE
- Publication number 20220253743
- Publication date Aug 11, 2022
- Microsoft Technology Licensing, LLC
- Daochen WANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOW-COST LINEAR ORDERS FOR QUANTUM-PROGRAM SIMULATION
- Publication number 20220067245
- Publication date Mar 3, 2022
- Microsoft Technology Licensing, LLC
- Damian Silvio STEIGER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXECUTION OF N-QUBIT QUANTUM GATES
- Publication number 20210374586
- Publication date Dec 2, 2021
- Microsoft Technology Licensing, LLC
- Vadym KLIUCHNIKOV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXECUTION OF N-QUBIT QUANTUM GATES
- Publication number 20210374591
- Publication date Dec 2, 2021
- Microsoft Technology Licensing, LLC
- Vadym KLIUCHNIKOV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEPARABLE-STATE SIMULATION OF QUANTUM PROGRAM CODE
- Publication number 20210374307
- Publication date Dec 2, 2021
- Microsoft Technology Licensing, LLC
- Thomas HAENER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRAINING OF VARIATIONAL QUANTUM CLASSIFIERS BY PARAMETRIC COORDINAT...
- Publication number 20210256416
- Publication date Aug 19, 2021
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING COMPILER OPTIMIZATION TO ENABLE AUTOMATIC GENERATION OF COMBI...
- Publication number 20210224049
- Publication date Jul 22, 2021
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC QUANTUM PROGRAM OPTIMIZATION USING ADJOINT-VIA-CONJUGATIO...
- Publication number 20210124567
- Publication date Apr 29, 2021
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC ACCURACY MANAGEMENT FOR QUANTUM PROGRAMS VIA SYMBOLIC RES...
- Publication number 20210117844
- Publication date Apr 22, 2021
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM BIT PREDICTION
- Publication number 20210089953
- Publication date Mar 25, 2021
- Microsoft Technology Licensing, LLC
- Alexei V. BOCHAROV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM FOR REVERSIBLE CIRCUIT COMPILATION WITH SPACE CONSTRAINT, ME...
- Publication number 20210081589
- Publication date Mar 18, 2021
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REVERSIBLE PEBBLING GAME FOR QUANTUM MEMORY MANAGEMENT
- Publication number 20200202250
- Publication date Jun 25, 2020
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EVALUATING QUANTUM COMPUTING CIRCUITS IN VIEW OF THE RESOURCE COSTS...
- Publication number 20190361675
- Publication date Nov 28, 2019
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING QUANTUM COMPUTING CIRCUITS BY DISTRIBUTING APPROXIMATION...
- Publication number 20190362270
- Publication date Nov 28, 2019
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM CIRCUIT LIBRARIES FOR FLOATING-POINT ARITHMETIC
- Publication number 20190156242
- Publication date May 23, 2019
- Microsoft Technology Licensing, LLC
- Thomas Haener
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR EFFICIENT QUANTUM TERNARY ARITHMETIC
- Publication number 20180365583
- Publication date Dec 20, 2018
- Microsoft Technology Licensing, LLC
- Xingshan Cui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM RESOURCE ESTIMATES FOR COMPUTING ELLIPTIC CURVE DISCRETE LO...
- Publication number 20180336015
- Publication date Nov 22, 2018
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR APPROXIMATE QUANTUM CIRCUIT SYNTHESIS USING Q...
- Publication number 20180276014
- Publication date Sep 27, 2018
- Microsoft Technology Licensing, LLC
- Vadym Kliuchnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM FOR REVERSIBLE CIRCUIT COMPILATION WITH SPACE CONSTRAINT, ME...
- Publication number 20180181685
- Publication date Jun 28, 2018
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILATION, MEMORY MANAGEMENT, AND FAULT LOCALIZATION WITH ANCILLA...
- Publication number 20180144262
- Publication date May 24, 2018
- Microsoft Technology Licensing, LLC
- Martin Roetteler
- B82 - NANO-TECHNOLOGY
Information Patent Application
EFFICIENT SYNTHESIS OF PROBABILISTIC QUANTUM CIRCUITS WITH FALLBACK
- Publication number 20170220948
- Publication date Aug 3, 2017
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- B82 - NANO-TECHNOLOGY
Information Patent Application
QUANTUM ALGORITHMS FOR ARITHMETIC AND FUNCTION SYNTHESIS
- Publication number 20170194930
- Publication date Jul 6, 2017
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFIED COMPILATION OF REVERSIBLE CIRCUITS
- Publication number 20170147303
- Publication date May 25, 2017
- Microsoft Technology Licensing, LLC
- Matthew Amy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT SYNTHESIS OF REPEAT-UNTIL-SUCCESS CIRCUITS IN CLIFFORD +...
- Publication number 20170032272
- Publication date Feb 2, 2017
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- B82 - NANO-TECHNOLOGY

Martin Roetteler

Person

Patents Grantslast 30 patents

Evaluating quantum computing circuits in view of the resource costs...

Using compiler optimization to enable automatic generation of combi...

Quantum bit prediction

Evaluating quantum computing circuits in view of the resource costs...

Separable-state simulation of quantum program code

Pebbling strategies for quantum memory management

Automatic accuracy management for quantum programs via symbolic res...

Automatic quantum program optimization using adjoint-via-conjugatio...

System for reversible circuit compilation with space constraint, me...

Runtime quantum-memory management

Method and system for approximate quantum circuit synthesis using q...

Efficient synthesis of probabilistic quantum circuits with fallback

System for reversible circuit compilation with space constraint, me...

Method and system for efficient quantum ternary arithmetic

Quantum circuit libraries for floating-point arithmetic

Generating quantum computing circuits by distributing approximation...

Verified compilation of reversible circuits

Quantum resource estimates for computing elliptic curve discrete lo...

Compilation, memory management, and fault localization with ancilla...

Quantum algorithms for arithmetic and function synthesis

Efficient synthesis of repeat-until-success circuits in clifford +...

Patents Applicationslast 30 patents

EVALUATING QUANTUM COMPUTING CIRCUITS IN VIEW OF THE RESOURCE COSTS...

REINFORCEMENT LEARNING WITH QUANTUM ORACLE

LOW-COST LINEAR ORDERS FOR QUANTUM-PROGRAM SIMULATION

EXECUTION OF N-QUBIT QUANTUM GATES

EXECUTION OF N-QUBIT QUANTUM GATES

SEPARABLE-STATE SIMULATION OF QUANTUM PROGRAM CODE

TRAINING OF VARIATIONAL QUANTUM CLASSIFIERS BY PARAMETRIC COORDINAT...

USING COMPILER OPTIMIZATION TO ENABLE AUTOMATIC GENERATION OF COMBI...

AUTOMATIC QUANTUM PROGRAM OPTIMIZATION USING ADJOINT-VIA-CONJUGATIO...

AUTOMATIC ACCURACY MANAGEMENT FOR QUANTUM PROGRAMS VIA SYMBOLIC RES...

QUANTUM BIT PREDICTION

SYSTEM FOR REVERSIBLE CIRCUIT COMPILATION WITH SPACE CONSTRAINT, ME...

REVERSIBLE PEBBLING GAME FOR QUANTUM MEMORY MANAGEMENT

EVALUATING QUANTUM COMPUTING CIRCUITS IN VIEW OF THE RESOURCE COSTS...

GENERATING QUANTUM COMPUTING CIRCUITS BY DISTRIBUTING APPROXIMATION...

QUANTUM CIRCUIT LIBRARIES FOR FLOATING-POINT ARITHMETIC

METHOD AND SYSTEM FOR EFFICIENT QUANTUM TERNARY ARITHMETIC

QUANTUM RESOURCE ESTIMATES FOR COMPUTING ELLIPTIC CURVE DISCRETE LO...

METHOD AND SYSTEM FOR APPROXIMATE QUANTUM CIRCUIT SYNTHESIS USING Q...

SYSTEM FOR REVERSIBLE CIRCUIT COMPILATION WITH SPACE CONSTRAINT, ME...

COMPILATION, MEMORY MANAGEMENT, AND FAULT LOCALIZATION WITH ANCILLA...

EFFICIENT SYNTHESIS OF PROBABILISTIC QUANTUM CIRCUITS WITH FALLBACK

QUANTUM ALGORITHMS FOR ARITHMETIC AND FUNCTION SYNTHESIS

VERIFIED COMPILATION OF REVERSIBLE CIRCUITS

EFFICIENT SYNTHESIS OF REPEAT-UNTIL-SUCCESS CIRCUITS IN CLIFFORD +...