GeoVerse Lab
← AI & Computing Sciences Division

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 CenterNatural Language Processing CenterComputer Vision CenterHigh-Performance Computing CenterQuantum Computing CenterGenerative AI & Foundation Models CenterReinforcement Learning & Agents CenterAI Safety & Alignment CenterAI for Science CenterRobotics & Embodied AI Center
Richard Feynman🔑
⭐ Center Chief
Richard Feynman
Center Head
💡 Quantum electrodynamics, quantum computing
John Stewart Bell🔑
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
Paul Benioff🔑
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
Max Born🔑
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
Walter Heitler🔑
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
Alonzo Church🔑
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
Stephen Wiesner🔑
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
Richard Hamming🔑
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
Paul Dirac🔑
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
Rolf Landauer🔑
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
David Hilbert🔑
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
Eugene Wigner🔑
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
Leonid Khachiyan🔑
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
Yuri Manin🔑
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
John Bardeen🔑
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
Walther Ritz🔑
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