Quantum Computing Department

The Quantum Computing Department trains students in the principles of quantum algorithms - quantum annealing, variational quantum eigensolvers, and quantum machine learning via Qiskit and Cirq - and how to apply them to real optimization problems. Students reformulate NP-hard problems that resist classical methods, such as seismic inversion and travel-time tomography, in quantum terms, and apply them through projects in geophysical inversion and reservoir simulation. Working with both current quantum hardware and simulators, graduates leave with both the theoretical grounding and the implementation experience to work at the frontier of quantum algorithms.

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

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

🔑

⭐ Feynman

Chair

💡 Quantum Computing & Quantum Simulation

Researchers (real GeoVerse Lab members) 15

🔑

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

🧑‍🔬

🔑

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

🧑‍🔬

🔑

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

🔑

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

🔑

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

🔑

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

🔑

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

🔑

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

🔑

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

🔑

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

🔑

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

🧑‍🔬

🔑

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

🧑‍🔬

🔑

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

🔑

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

🔑

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