GeoVerse Lab
โ† AI & Computing Sciences Division

High-Performance Computing Center

Provides massively parallel computing infrastructure - GPU-accelerated CUDA/OpenCL seismic modeling, MPI-based distributed finite element methods, and cluster scheduling - enabling petascale computations for large-scale numerical simulation.

โš™๏ธ 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
Seymour Cray๐Ÿ”‘
โญ Center Chief
Seymour Cray
Center Head
๐Ÿ’ก Pioneer of supercomputing
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1925โ€“2002
John Cocke
Researcher
๐Ÿ’ก Pioneered RISC (Reduced Instruction Set Computer) architecture and instruction pipelining, founding the processor design philosophy underlying the high clock-rate, high-throughput CPU/GPU cores used throughout modern HPC hardware
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Frances Allen๐Ÿ”‘
1932โ€“2020
Frances Allen
Researcher
๐Ÿ’ก Founded the theory of program optimization and automatic parallelization via control-flow and data-dependence analysis, the compiler theory directly underlying automatic vectorization and parallelization of scientific HPC code
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Jim Gray๐Ÿ”‘
1944โ€“2012
Jim Gray
Researcher
๐Ÿ’ก Founded the theory of transaction processing and fault-tolerant distributed systems (ACID properties, the transaction concept), directly foundational to reliable distributed-memory HPC job coordination and MPI-based checkpoint/restart systems
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1920โ€“2016
Ray W. Clough
Researcher
๐Ÿ’ก Coined the term 'finite element method' and pioneered its application to structural analysis, founding the discretization approach that MPI-based distributed finite element simulations on HPC clusters directly implement at scale
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1944โ€“2010
Jean-Claude Laprie
Researcher
๐Ÿ’ก Coined the term 'dependability' and founded its systematic taxonomy (reliability, availability, safety, integrity, maintainability), the standard conceptual framework for designing fault-tolerant large-scale HPC systems
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Larry Roberts๐Ÿ”‘
1937โ€“2018
Larry Roberts
Researcher
๐Ÿ’ก Designed and led the ARPANET, the first operational packet-switched wide-area network enabling remote computers to share computing resources, founding the wide-area distributed resource-sharing model that grid and cloud HPC computing directly descend from
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Gene H. Golub๐Ÿ”‘
1932โ€“2007
Gene H. Golub
Researcher
๐Ÿ’ก Founded modern matrix computation theory including the golden-standard SVD algorithm and iterative solver methods, foundational to the large-scale sparse linear system solvers used throughout HPC scientific simulation
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Maurice Wilkes๐Ÿ”‘
1913โ€“2010
Maurice Wilkes
Researcher
๐Ÿ’ก Built the EDSAC, one of the first practical stored-program computers, and proposed the concept of cache memory, founding the memory-hierarchy design principle essential to memory-efficient sparse matrix operations on modern HPC systems
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Paul Baran๐Ÿ”‘
1926โ€“2011
Paul Baran
Researcher
๐Ÿ’ก Invented packet switching and designed distributed, redundant network topologies for survivable communication, founding the network-topology design principles underlying HPC cluster interconnects and MPI communication fabrics
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1919โ€“1986
James H. Wilkinson
Researcher
๐Ÿ’ก Founded rigorous backward-error analysis for numerical linear algebra algorithms, establishing the stability theory underlying every sparse matrix solver and eigenvalue algorithm used in large-scale scientific computing
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1935โ€“2019
Ken Batcher
Researcher
๐Ÿ’ก Chief architect of the ILLIAC IV massively parallel computer and inventor of Batcher's sorting networks (bitonic/odd-even merge sort), the foundational parallel-algorithm design techniques for data-parallel HPC systems
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
Fernando J. Corbatรณ๐Ÿ”‘
1926โ€“2019
Fernando J. Corbatรณ
Researcher
๐Ÿ’ก Invented time-sharing computer systems (CTSS, Multics), founding the resource-scheduling and multi-user job management concepts that modern HPC cluster schedulers (SLURM, PBS) directly descend from
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1931โ€“1985
Daniel Slotnick
Researcher
๐Ÿ’ก Conceived and led the design of the ILLIAC IV, the first large-scale SIMD (single-instruction-multiple-data) array supercomputer, founding the stream/array-processing architecture that modern GPU computing directly descends from
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center
๐Ÿง‘โ€๐Ÿ”ฌ
๐Ÿ”‘
1906โ€“1998
Reynold B. Johnson
Researcher
๐Ÿ’ก Invented the hard disk drive (IBM RAMAC), founding random-access magnetic storage technology that all modern parallel file systems and distributed storage architectures for HPC I/O are built upon
๐Ÿ–ฅ๏ธ AI & Computing Sciences DivisionHigh-Performance Computing Center