Ofek Kirzner

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Detecting a function section in a representation of a quantum circuit
- Patent number 12,248,020
- Issue date Mar 11, 2025
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Provisioning functional-level information to be utilized in gate-le...
- Patent number 12,086,686
- Issue date Sep 10, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic synthesis of gate-level implementations of functional block...
- Patent number 12,086,687
- Issue date Sep 10, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Functional-level processing component for quantum computers
- Patent number 12,073,291
- Issue date Aug 27, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantum operating system utilizing multiple compilers
- Patent number 12,056,578
- Issue date Aug 6, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
DAG-Based CSP quantum circuit modeling
- Patent number 11,995,515
- Issue date May 28, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Yehuda Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Debugger for quantum computers
- Patent number 11,960,384
- Issue date Apr 16, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining dynamic quantum error correction
- Patent number 11,875,229
- Issue date Jan 16, 2024
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
CSP-based quantum circuit modeling
- Patent number 11,620,564
- Issue date Apr 4, 2023
- CLASSIQ TECHNOLOGIES LTD.
- Yehuda Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining quantum error correction schemes
- Patent number 11,615,337
- Issue date Mar 28, 2023
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selecting physical qubits for quantum error correction schemes
- Patent number 11,416,762
- Issue date Aug 16, 2022
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
CSP-based synthesis of a quantum circuit
- Patent number 11,373,114
- Issue date Jun 28, 2022
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Debugger for quantum computers
- Patent number 11,294,797
- Issue date Apr 5, 2022
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantum circuit modeling
- Patent number 11,288,589
- Issue date Mar 29, 2022
- CLASSIQ TECHNOLOGIES LTD.
- Yehuda Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Re-generation of a gate-level quantum circuit based on gate-level a...
- Patent number 11,281,988
- Issue date Mar 22, 2022
- CLASSIQ TECHNOLOGIES LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
QUANTUM CIRCUIT EXECUTION METHOD UTILIZING QUBIT IDLE PERIODS FOR E...
- Publication number 20250148338
- Publication date May 8, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL EXECUTION OF QUANTUM PROGRAMS
- Publication number 20250131312
- Publication date Apr 24, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY MANAGEMENT IN A QUANTUM OPERATING SYSTEM
- Publication number 20250131302
- Publication date Apr 24, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ITERATIVE COMPILATION AND EXECUTION IN A QUANTUM OPERATING SYSTEM
- Publication number 20250131298
- Publication date Apr 24, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM PROGRAM COMPILATION IN A QUANTUM OPERATING SYSTEM
- Publication number 20250131299
- Publication date Apr 24, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-STAGE COMPILATION OF QUANTUM PROGRAMS
- Publication number 20250131311
- Publication date Apr 24, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-COMPILER-BASED QUANTUM OPERATING SYSTEM
- Publication number 20250124329
- Publication date Apr 17, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT SCHEDULING OF PAULI-TERMS FOR QUANTUM COMPUTING
- Publication number 20250036991
- Publication date Jan 30, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTIMAL QUANTUM FUNCTION IMPLEMENTATIONS BASED ON FUNCTION INPUTS
- Publication number 20250036988
- Publication date Jan 30, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT HAMILTONIAN EXPONENTIATION IN A QUANTUM CIRCUIT
- Publication number 20250036989
- Publication date Jan 30, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA STRUCTURE FOR EFFICIENT REPRESENTATION OF PAULI-TERMS SEQUENCES
- Publication number 20250036990
- Publication date Jan 30, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESSING OF QUANTUM PROGRAMS
- Publication number 20250021857
- Publication date Jan 16, 2025
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC QUANTUM CIRCUIT CONTROL SKIPS
- Publication number 20240394580
- Publication date Nov 28, 2024
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING DYNAMIC QUANTUM ERROR CORRECTION SCHEMES
- Publication number 20240289675
- Publication date Aug 29, 2024
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INPUT-BASED MODIFICATION OF A QUANTUM CIRCUIT
- Publication number 20240281686
- Publication date Aug 22, 2024
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Classical Preprocessing for Efficient State Preparation in Quantum...
- Publication number 20240193450
- Publication date Jun 13, 2024
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Performance Analysis of Quantum Programs
- Publication number 20240078088
- Publication date Mar 7, 2024
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Detecting a Function Section in a Representation of a Quantum Circuit
- Publication number 20240044973
- Publication date Feb 8, 2024
- Classiq Technologies LTD.
- Amir Haveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING A GRAPHICAL REPRESENTATION OF A QUANTUM CIRCUIT
- Publication number 20240013079
- Publication date Jan 11, 2024
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUXILIARY QUBIT VERIFICATION IN QUANTUM CIRCUITS
- Publication number 20230409953
- Publication date Dec 21, 2023
- Classiq Technologies LTD.
- Eyal Cornfeld
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUXILIARY QUBIT DETECTION IN QUANTUM CIRCUITS
- Publication number 20230385670
- Publication date Nov 30, 2023
- Classiq Technologies LTD.
- Eyal Cornfeld
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING DYNAMIC QUANTUM ERROR CORRECTION SCHEMES
- Publication number 20230334358
- Publication date Oct 19, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUXILIARY QUBITS ANALYSIS BASED ON PARTIAL COMPILATION OF QUANTUM P...
- Publication number 20230237360
- Publication date Jul 27, 2023
- Classiq Technologies LTD.
- Amir NAVEH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DAG-Based CSP Quantum Circuit Modeling
- Publication number 20230196153
- Publication date Jun 22, 2023
- Classiq Technologies LTD.
- Yehuda NAVEH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVISIONING FUCNTIONAL-LEVEL INFORMATION TO BE UTILIZED IN GATE-LE...
- Publication number 20230112525
- Publication date Apr 13, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM CIRCUIT SYNTHESIS USING CSP
- Publication number 20230115165
- Publication date Apr 13, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC SYNTHESIS OF GATE-LEVEL IMPLEMENTATIONS OF FUNCTIONAL BLOCK...
- Publication number 20230111039
- Publication date Apr 13, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FUNCTIONAL-LEVEL PROCESSING COMPONENT FOR QUANTUM COMPUTERS
- Publication number 20230111924
- Publication date Apr 13, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILING QUANTUM PROGRAMS
- Publication number 20230111236
- Publication date Apr 13, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Selecting a Quantum Computer
- Publication number 20230032530
- Publication date Feb 2, 2023
- Classiq Technologies LTD.
- Amir Naveh
- G06 - COMPUTING CALCULATING COUNTING

Ofek Kirzner

Person

Patents Grantslast 30 patents

Detecting a function section in a representation of a quantum circuit

Provisioning functional-level information to be utilized in gate-le...

Dynamic synthesis of gate-level implementations of functional block...

Functional-level processing component for quantum computers

Quantum operating system utilizing multiple compilers

DAG-Based CSP quantum circuit modeling

Debugger for quantum computers

Determining dynamic quantum error correction

CSP-based quantum circuit modeling

Determining quantum error correction schemes

Selecting physical qubits for quantum error correction schemes

CSP-based synthesis of a quantum circuit

Debugger for quantum computers

Quantum circuit modeling

Re-generation of a gate-level quantum circuit based on gate-level a...

Patents Applicationslast 30 patents

QUANTUM CIRCUIT EXECUTION METHOD UTILIZING QUBIT IDLE PERIODS FOR E...

PARALLEL EXECUTION OF QUANTUM PROGRAMS

MEMORY MANAGEMENT IN A QUANTUM OPERATING SYSTEM

ITERATIVE COMPILATION AND EXECUTION IN A QUANTUM OPERATING SYSTEM

QUANTUM PROGRAM COMPILATION IN A QUANTUM OPERATING SYSTEM

MULTI-STAGE COMPILATION OF QUANTUM PROGRAMS

MULTI-COMPILER-BASED QUANTUM OPERATING SYSTEM

EFFICIENT SCHEDULING OF PAULI-TERMS FOR QUANTUM COMPUTING

OPTIMAL QUANTUM FUNCTION IMPLEMENTATIONS BASED ON FUNCTION INPUTS

EFFICIENT HAMILTONIAN EXPONENTIATION IN A QUANTUM CIRCUIT

DATA STRUCTURE FOR EFFICIENT REPRESENTATION OF PAULI-TERMS SEQUENCES

PROCESSING OF QUANTUM PROGRAMS

AUTOMATIC QUANTUM CIRCUIT CONTROL SKIPS

DETERMINING DYNAMIC QUANTUM ERROR CORRECTION SCHEMES

INPUT-BASED MODIFICATION OF A QUANTUM CIRCUIT

Classical Preprocessing for Efficient State Preparation in Quantum...

Performance Analysis of Quantum Programs

Detecting a Function Section in a Representation of a Quantum Circuit

GENERATING A GRAPHICAL REPRESENTATION OF A QUANTUM CIRCUIT

AUXILIARY QUBIT VERIFICATION IN QUANTUM CIRCUITS

AUXILIARY QUBIT DETECTION IN QUANTUM CIRCUITS

DETERMINING DYNAMIC QUANTUM ERROR CORRECTION SCHEMES

AUXILIARY QUBITS ANALYSIS BASED ON PARTIAL COMPILATION OF QUANTUM P...

DAG-Based CSP Quantum Circuit Modeling

PROVISIONING FUCNTIONAL-LEVEL INFORMATION TO BE UTILIZED IN GATE-LE...

QUANTUM CIRCUIT SYNTHESIS USING CSP

DYNAMIC SYNTHESIS OF GATE-LEVEL IMPLEMENTATIONS OF FUNCTIONAL BLOCK...

FUNCTIONAL-LEVEL PROCESSING COMPONENT FOR QUANTUM COMPUTERS

COMPILING QUANTUM PROGRAMS

Selecting a Quantum Computer