Quantum Computing Center

Explores quantum algorithms - quantum annealing, variational quantum eigensolvers, and quantum machine learning via Qiskit and Cirq - for optimization problems in geophysical inversion and reservoir simulation, targeting NP-hard problems like seismic inversion and travel-time tomography.

⚙️ GeoVerse System Administration Division 🖥️ AI & Computing Sciences Division 🔬 Basic Sciences Division ⚡ Intelligent Geophysical Exploration Division 🛢️ Resource & Energy Engineering Division 🌍 Applied Geoscience Solutions Division 💼 Economics, Policy & Strategy Division 🎓 Education & Training Development Division 🚀 Innovation & International Collaboration Division

Machine Learning Center Natural Language Processing Center Computer Vision Center High-Performance Computing Center Quantum Computing Center Generative AI & Foundation Models Center Reinforcement Learning & Agents Center AI Safety & Alignment Center AI for Science Center Robotics & Embodied AI Center

🔑

⭐ Center Chief

Richard Feynman

Center Head

💡 Quantum electrodynamics, quantum computing

🔑

1928–1990

John Stewart Bell

Researcher

💡 Derived Bell's theorem and Bell inequalities, rigorously proving that quantum entanglement produces correlations impossible for any local hidden-variable theory — the theoretical foundation establishing that entanglement is a genuine physical resource exploited for quantum computational advantage

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1930–2022

Paul Benioff

Researcher

💡 First proposed a quantum mechanical model of the Turing machine, showing that computation could in principle be performed by a quantum system evolving unitarily — the founding theoretical proposal that quantum computers could exist and compute

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1882–1970

Max Born

Researcher

💡 Developed the Born rule for quantum probability and, with collaborators, foundational adiabatic theorem work in quantum mechanics — the exact physical principle (a system remains in its ground state under slow enough evolution) underlying adiabatic quantum computing and quantum annealing

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1904–1981

Walter Heitler

Researcher

💡 Co-developed (with Fritz London) the first quantum mechanical treatment of the covalent chemical bond, founding quantum chemistry — the discipline whose molecular Hamiltonians are the primary target problems that VQE and other quantum chemistry algorithms aim to solve

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🧑‍🔬

🔑

1903–1995

Alonzo Church

Researcher

💡 Founded lambda calculus and the Church-Turing thesis, establishing the formal notion of computability and effective procedure — the theoretical foundation from which the extended Church-Turing thesis (and its quantum-computational challenge) and quantum complexity classes are defined

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1942–2021

Stephen Wiesner

Researcher

💡 Invented conjugate coding and quantum money, the founding concepts that directly led to the BB84 quantum key distribution protocol, the theoretical origin of quantum cryptography

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🧑‍🔬

🔑

1915–1998

Richard Hamming

Researcher

💡 Invented Hamming codes, the first practical error-correcting codes capable of detecting and correcting bit errors, founding the coding theory whose structure (stabilizer codes, CSS codes) quantum error correction directly generalizes to protect qubits from decoherence

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1902–1984

Paul Dirac

Researcher

💡 Developed bra-ket (Dirac) notation and the transformation theory of quantum mechanics unifying wave and matrix mechanics, providing the exact mathematical language (state vectors, unitary operators) in which quantum gates and circuits are formally described

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🧑‍🔬

🔑

1927–1999

Rolf Landauer

Researcher

💡 Formulated Landauer's principle — that erasing information has an unavoidable minimum thermodynamic energy cost — establishing that 'information is physical', the foundational link between information theory and physics underlying quantum information science

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1862–1943

David Hilbert

Researcher

💡 Developed Hilbert space theory, the infinite-dimensional inner-product-space formalism in which quantum states live — the exact mathematical framework in which quantum machine learning algorithms (quantum kernels, feature maps) encode and manipulate data

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1902–1995

Eugene Wigner

Researcher

💡 Founded rigorous quantum measurement theory (the 'Wigner's friend' thought experiment) and applied group-theoretic symmetry principles to quantum mechanics, foundational to understanding how classical information (predictions, classifications) is extracted from quantum neural network circuits via measurement

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🧑‍🔬

🔑

1952–2005

Leonid Khachiyan

Researcher

💡 Developed the ellipsoid method, the first polynomial-time algorithm for linear programming, founding the theory of efficient classical optimization that hybrid quantum-classical algorithms (QAOA, VQE) rely on for their classical optimization loop

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1937–2023

Yuri Manin

Researcher

💡 Independently proposed (alongside Feynman) that quantum computers could simulate quantum physical systems exponentially more efficiently than classical computers, an early foundational insight motivating quantum simulation as a killer application of quantum computing

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1908–1991

John Bardeen

Researcher

💡 Co-invented the transistor and co-developed BCS theory of superconductivity, providing both the semiconductor and superconducting physics foundations that superconducting qubits (the leading physical quantum computing platform) are engineered from

🖥️ AI & Computing Sciences DivisionQuantum Computing Center

🔑

1878–1909

Walther Ritz

Researcher

💡 Developed the Rayleigh-Ritz variational method for approximating eigenvalues and eigenfunctions, the exact mathematical principle underlying the Variational Quantum Eigensolver (VQE), the leading near-term quantum algorithm for molecular and materials simulation

🖥️ AI & Computing Sciences DivisionQuantum Computing Center