Thomas Haener

Follow

Person

Bellevue, WA, US

People

Patents Grantslast 30 patents

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

Patents Applicationslast 30 patents

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