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
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
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