Krysta Svore

Person

Seattle, 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
Geometry-based compression for quantum computing devices
- Patent number 12,093,784
- Issue date Sep 17, 2024
- Microsoft Technology Licensing, LLC
- Poulami Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems for coupling decoders to quantum registers
- Patent number 12,073,287
- Issue date Aug 27, 2024
- Microsoft Technology Licensing, LLC
- Poulami Das
- 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
Quantum algorithms for supervised training of quantum boltzmann mac...
- Patent number 11,783,222
- Issue date Oct 10, 2023
- Microsoft Technology Licensing, LLC
- Nathan O. Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Geometry-based compression for quantum computing devices
- Patent number 11,755,941
- Issue date Sep 12, 2023
- Microsoft Technology Licensing, LLC
- Poulami Das
- 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
Fault tolerant quantum error correction with linear codes
- Patent number 11,700,020
- Issue date Jul 11, 2023
- Microsoft Technology Licensing, LLC
- Nicolas Delfosse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Debugging quantum programs
- Patent number 11,599,450
- Issue date Mar 7, 2023
- Microsoft Technology Licensing, LLC
- Alan Geller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fault-tolerant quantum cat state preparation
- Patent number 11,416,761
- Issue date Aug 16, 2022
- Microsoft Technology Licensing, LLC
- Nicolas Guillaume Delfosse
- B82 - NANO-TECHNOLOGY
Information Patent Grant
Syndrome data compression for quantum computing devices
- Patent number 11,410,070
- Issue date Aug 9, 2022
- Microsoft Technology Licensing, LLC
- Poulami Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Debugging quantum programs
- Patent number 11,366,741
- Issue date Jun 21, 2022
- Microsoft Technology Licensing, LLC
- Alan Geller
- 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
Quantum deep learning
- Patent number 11,295,207
- Issue date Apr 5, 2022
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- A01 - AGRICULTURE FORESTRY ANIMAL HUSBANDRY HUNTING TRAPPING FISHING
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
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
Method and system for computing distance measures on a quantum comp...
- Patent number 10,699,208
- Issue date Jun 30, 2020
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- B82 - NANO-TECHNOLOGY
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
Method for efficient implementation of diagonal operators over clif...
- Patent number 10,366,339
- Issue date Jul 30, 2019
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Time-aware ranking adapted to a search engine application
- Patent number 10,346,413
- Issue date Jul 9, 2019
- Microsoft Technology Licensing, LLC
- Kira Radinsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-tiered information retrieval training
- Patent number 10,346,453
- Issue date Jul 9, 2019
- Microsoft Technology Licensing, LLC
- Chris J. C. Burges
- 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
Information Patent Grant
Method and system for decomposing single-qubit quantum circuits int...
- Patent number 9,836,698
- Issue date Dec 5, 2017
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- B82 - NANO-TECHNOLOGY
Information Patent Grant
Quantum arithmetic on two-dimensional quantum architectures
- Patent number 9,779,359
- Issue date Oct 3, 2017
- Microsoft Technology Licensing, LLC
- Krysta M. Svore
- B82 - NANO-TECHNOLOGY

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
GEOMETRY-BASED COMPRESSION FOR QUANTUM COMPUTING DEVICES
- Publication number 20230359912
- Publication date Nov 9, 2023
- Microsoft Technology Licensing, LLC
- Poulami DAS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GEOMETRY-BASED COMPRESSION FOR QUANTUM COMPUTING DEVICES
- Publication number 20220385306
- Publication date Dec 1, 2022
- Microsoft Technology Licensing, LLC
- Poulami DAS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEBUGGING QUANTUM PROGRAMS
- Publication number 20220276951
- Publication date Sep 1, 2022
- Microsoft Technology Licensing, LLC
- Alan Geller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAULT-TOLERANT QUANTUM CAT STATE PREPARATION
- Publication number 20210334688
- Publication date Oct 28, 2021
- Microsoft Technology Licensing, LLC
- Nicolas Guillaume DELFOSSE
- B82 - NANO-TECHNOLOGY
Information Patent Application
FAULT TOLERANT QUANTUM ERROR CORRECTION WITH LINEAR CODES
- Publication number 20210126652
- Publication date Apr 29, 2021
- Microsoft Technology Licensing, LLC
- Nicolas Delfosse
- 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
QUANTUM ALGORITHMS FOR SUPERVISED TRAINING OF QUANTUM BOLTZMANN MAC...
- Publication number 20210065037
- Publication date Mar 4, 2021
- Microsoft Technology Licensing, LLC
- Nathan O. Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PIPELINED HARDWARE DECODER FOR QUANTUM COMPUTING DEVICES
- Publication number 20210042650
- Publication date Feb 11, 2021
- Microsoft Technology Licensing, LLC
- Poulami DAS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYNDROME DATA COMPRESSION FOR QUANTUM COMPUTING DEVICES
- Publication number 20210042652
- Publication date Feb 11, 2021
- Microsoft Technology Licensing, LLC
- Poulami DAS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS FOR COUPLING DECODERS TO QUANTUM REGISTERS
- Publication number 20210042651
- Publication date Feb 11, 2021
- Microsoft Technology Licensing, LLC
- Poulami DAS
- 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
DEBUGGING QUANTUM PROGRAMS
- Publication number 20190179730
- Publication date Jun 13, 2019
- Microsoft Technology Licensing, LLC
- Alan Geller
- 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
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
FAST LOW-MEMORY METHODS FOR BAYESIAN INFERENCE, GIBBS SAMPLING AND...
- Publication number 20180137422
- Publication date May 17, 2018
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM DEEP LEARNING
- Publication number 20170364796
- Publication date Dec 21, 2017
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR EFFICIENT IMPLEMENTATION OF DIAGONAL OPERATORS OVER CLIF...
- Publication number 20170316336
- Publication date Nov 2, 2017
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- G06 - COMPUTING CALCULATING COUNTING
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
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
Information Patent Application
METHOD AND SYSTEM FOR COMPUTING DISTANCE MEASURES ON A QUANTUM COMP...
- Publication number 20160314406
- Publication date Oct 27, 2016
- Microsoft Technology Licensing, LLC
- Nathan Wiebe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Time-Aware Ranking Adapted to a Search Engine Application
- Publication number 20160117333
- Publication date Apr 28, 2016
- Microsoft Technology Licensing, LLC
- Kira Radinsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR OPTIMAL DECOMPOSITION OF SINGLE-QUBIT QUANTUM...
- Publication number 20150186587
- Publication date Jul 2, 2015
- Microsoft Technology Licensing, LLC
- Alexei Bocharov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR EFFICIENT DECOMPOSITION OF SINGLE-QUBIT QUANT...
- Publication number 20150106418
- Publication date Apr 16, 2015
- Microsoft Corporation
- Vadym Kliuchnikov
- G06 - COMPUTING CALCULATING COUNTING

Krysta Svore

Person

Patents Grantslast 30 patents

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

Geometry-based compression for quantum computing devices

Systems for coupling decoders to quantum registers

Quantum bit prediction

Quantum algorithms for supervised training of quantum boltzmann mac...

Geometry-based compression for quantum computing devices

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

Fault tolerant quantum error correction with linear codes

Debugging quantum programs

Fault-tolerant quantum cat state preparation

Syndrome data compression for quantum computing devices

Debugging quantum programs

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

Quantum deep learning

Runtime quantum-memory management

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

Method and system for computing distance measures on a quantum comp...

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...

Method for efficient implementation of diagonal operators over clif...

Time-aware ranking adapted to a search engine application

Multi-tiered information retrieval training

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

Method and system for decomposing single-qubit quantum circuits int...

Quantum arithmetic on two-dimensional quantum architectures

Patents Applicationslast 30 patents

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

GEOMETRY-BASED COMPRESSION FOR QUANTUM COMPUTING DEVICES

GEOMETRY-BASED COMPRESSION FOR QUANTUM COMPUTING DEVICES

DEBUGGING QUANTUM PROGRAMS

FAULT-TOLERANT QUANTUM CAT STATE PREPARATION

FAULT TOLERANT QUANTUM ERROR CORRECTION WITH LINEAR CODES

QUANTUM BIT PREDICTION

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

QUANTUM ALGORITHMS FOR SUPERVISED TRAINING OF QUANTUM BOLTZMANN MAC...

PIPELINED HARDWARE DECODER FOR QUANTUM COMPUTING DEVICES

SYNDROME DATA COMPRESSION FOR QUANTUM COMPUTING DEVICES

SYSTEMS FOR COUPLING DECODERS TO QUANTUM REGISTERS

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

GENERATING QUANTUM COMPUTING CIRCUITS BY DISTRIBUTING APPROXIMATION...

DEBUGGING QUANTUM PROGRAMS

QUANTUM CIRCUIT LIBRARIES FOR FLOATING-POINT ARITHMETIC

METHOD AND SYSTEM FOR EFFICIENT QUANTUM TERNARY ARITHMETIC

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

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

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

FAST LOW-MEMORY METHODS FOR BAYESIAN INFERENCE, GIBBS SAMPLING AND...

QUANTUM DEEP LEARNING

METHOD FOR EFFICIENT IMPLEMENTATION OF DIAGONAL OPERATORS OVER CLIF...

EFFICIENT SYNTHESIS OF PROBABILISTIC QUANTUM CIRCUITS WITH FALLBACK

VERIFIED COMPILATION OF REVERSIBLE CIRCUITS

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

METHOD AND SYSTEM FOR COMPUTING DISTANCE MEASURES ON A QUANTUM COMP...

Time-Aware Ranking Adapted to a Search Engine Application

METHOD AND SYSTEM FOR OPTIMAL DECOMPOSITION OF SINGLE-QUBIT QUANTUM...

METHOD AND SYSTEM FOR EFFICIENT DECOMPOSITION OF SINGLE-QUBIT QUANT...