GeoVerse Lab
← AI & Computing Sciences Division

AI for Science Center

Pioneers AI methods that accelerate scientific discovery - protein folding, materials design, weather and climate modeling, and mathematical reasoning - through scientific foundation models, physics-informed and equivariant neural networks, and simulation-based inference, while leading cross-division AI4Science programs.

⚙️ 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
Marvin Minsky🔑
⭐ Center Chief
Marvin Minsky
Center Head
💡 AI co-founder, cognitive science, Society of Mind
Fritz Zwicky🔑
1898–1974
Fritz Zwicky
Researcher
💡 Pioneered large-scale systematic sky surveys (Palomar Sky Survey) and inferred dark matter from galaxy cluster dynamics, founding the data-driven, survey-scale astronomy that AI classification and discovery pipelines now operate on
🖥️ AI & Computing Sciences DivisionAI for Science Center
Jerzy Neyman🔑
1894–1981
Jerzy Neyman
Researcher
💡 Founded the potential-outcomes framework for causal inference and modern hypothesis-testing theory (Neyman-Pearson), the statistical foundation underlying today's AI-assisted causal discovery methods
🖥️ AI & Computing Sciences DivisionAI for Science Center
Lewis Fry Richardson🔑
1881–1953
Lewis Fry Richardson
Researcher
💡 Pioneered numerical weather prediction by manually solving the primitive equations for a forecast (1922), founding the field that GraphCast-class AI weather models now accelerate by orders of magnitude
🖥️ AI & Computing Sciences DivisionAI for Science Center
Gertrude B. Elion🔑
1918–1999
Gertrude B. Elion
Researcher
💡 Pioneered rational drug design by targeting differences in biochemical pathways between pathogens/cancer cells and normal human cells, founding the target-based design paradigm that generative AI drug discovery now automates
🖥️ AI & Computing Sciences DivisionAI for Science Center
Wallace Smith Broecker🔑
1931–2019
Wallace Smith Broecker
Researcher
💡 Founded quantitative Earth system science, coining 'global warming' (1975) and formulating the ocean 'conveyor belt' thermohaline circulation model that Earth-system AI emulators now build on
🖥️ AI & Computing Sciences DivisionAI for Science Center
Frederick Sanger🔑
1918–2013
Frederick Sanger
Researcher
💡 Developed the sequencing methods (protein sequencing and DNA dideoxy sequencing) that generated the sequence data underlying all of modern genomics and the deep-learning genomic models trained on it
🖥️ AI & Computing Sciences DivisionAI for Science Center
Linus Pauling🔑
1901–1994
Linus Pauling
Researcher
💡 Established the quantum-mechanical theory of the chemical bond and empirical rules for predicting crystal structures (Pauling's rules), the foundation of rational and now AI-driven materials design
🖥️ AI & Computing Sciences DivisionAI for Science Center
John Alan Robinson🔑
1930–2016
John Alan Robinson
Researcher
💡 Invented the resolution principle and unification algorithm (1965), the foundational inference mechanism of automated theorem proving and logic programming that underlies today's AI-assisted mathematical discovery systems
🖥️ AI & Computing Sciences DivisionAI for Science Center
Jean Leray🔑
1906–1998
Jean Leray
Researcher
💡 Founder of algebraic topology methods (Leray-Schauder degree theory, spectral sequences) used to prove existence of PDE solutions; his fixed-point/degree theory underlies convergence analysis of operator-learning networks
🖥️ AI & Computing Sciences DivisionAI for Science Center
Warren Sturgis McCulloch🔑
1898–1969
Warren Sturgis McCulloch
Researcher
💡 Co-created (with Walter Pitts) the first mathematical model of a neuron as a logical/computational unit, founding both computational neuroscience and the artificial neural network on which all modern deep learning descends
🖥️ AI & Computing Sciences DivisionAI for Science Center
Max Perutz🔑
1914–2002
Max Perutz
Researcher
💡 Solved the first three-dimensional structure of a protein (hemoglobin) by X-ray crystallography, founding structural molecular biology and the structure-function paradigm that AlphaFold-class models now automate
🖥️ AI & Computing Sciences DivisionAI for Science Center
John Pople🔑
1925–2004
John Pople
Researcher
💡 Developed Gaussian-basis-set ab initio computational quantum chemistry methods (and the Gaussian software) that generate the labeled quantum-mechanical data used to train modern molecular ML potentials
🖥️ AI & Computing Sciences DivisionAI for Science Center
George E. P. Box🔑
1919–2013
George E. P. Box
Researcher
💡 Founded modern statistical model-building philosophy ('all models are wrong, but some are useful') and response-surface/design-of-experiments methodology, foundational to simulation-based inference and surrogate-model uncertainty quantification
🖥️ AI & Computing Sciences DivisionAI for Science Center
Kurt Otto Friedrichs🔑
1901–1982
Kurt Otto Friedrichs
Researcher
💡 Co-founder of the Courant Institute; foundational contributions to the theory of partial differential equations (Friedrichs extension, symmetric hyperbolic systems, Courant-Friedrichs-Lewy condition) underpinning numerical PDE solvers
🖥️ AI & Computing Sciences DivisionAI for Science Center
Theodore von Kármán🔑
1881–1963
Theodore von Kármán
Researcher
💡 Founded modern aerodynamics and turbulence theory (Kármán vortex street, Kármán momentum-integral method), the classical fluid-dynamics benchmarks that neural PDE surrogates for turbulent flow are validated against
🖥️ AI & Computing Sciences DivisionAI for Science Center
Dorothy Hodgkin🔑
1910–1994
Dorothy Hodgkin
Researcher
💡 Determined the structures of penicillin, vitamin B12, and insulin by X-ray crystallography, generating the gold-standard structural datasets and phasing methodology that structure-prediction AI is trained and validated against
🖥️ AI & Computing Sciences DivisionAI for Science Center