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.

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
Research Fields 14
Parallel Algorithm Design & Sorting Networks
🔀 Parallel Algorithm Design & Sorting Networks
A sorting network is a fixed sequence of compare-and-swap operations between pairs of posi…
SIMD Array Processing & Stream Computing Architecture
🧮 SIMD Array Processing & Stream Computing Architecture
A single-instruction, multiple-data architecture broadcasts one shared instruction stream …
Distributed Computing & Fault-Tolerant Transaction Processing
💾 Distributed Computing & Fault-Tolerant Transaction Processing
A distributed transaction is a unit of work spanning multiple separate machines that must …
Numerical Linear Algebra & Sparse Matrix Methods
📐 Numerical Linear Algebra & Sparse Matrix Methods
Numerical linear algebra studies how to solve linear-algebra problems, such as solving a s…
Finite Element Methods for Large-Scale Simulation
🏗️ Finite Element Methods for Large-Scale Simulation
The finite element method solves a partial differential equation governing a continuous ph…
Job Scheduling & Time-Sharing Resource Management
⏱️ Job Scheduling & Time-Sharing Resource Management
A time-sharing scheduler divides a single computer's processing time into short slices and…
Memory Hierarchy & Cache Optimization
🗄️ Memory Hierarchy & Cache Optimization
A memory hierarchy arranges several tiers of storage with different speeds, sizes and cost…
Interconnection Networks & Distributed Network Topology
🕸️ Interconnection Networks & Distributed Network Topology
An interconnection network's topology is the pattern by which its nodes, whether communica…
Fault Tolerance & Dependable Computing at Scale
🛡️ Fault Tolerance & Dependable Computing at Scale
Fault tolerance is a computer system's ability to continue delivering correct service even…
Parallelizing Compilers & Automatic Code Optimization
⚙️ Parallelizing Compilers & Automatic Code Optimization
A parallelizing compiler analyses ordinary sequential source code to discover which of its…
Grid/Wide-Area Distributed Resource Sharing
🌐 Grid/Wide-Area Distributed Resource Sharing
Grid computing pools computing, storage and instrument resources owned by many separate or…
Parallel & Distributed Storage Systems
💽 Parallel & Distributed Storage Systems
A parallel or distributed storage system spreads a single logical file or dataset physical…
Iterative Solvers & Large-Scale Matrix Computation
🔢 Iterative Solvers & Large-Scale Matrix Computation
An iterative solver finds an approximate solution to a large linear system of equations by…
Computer Architecture & Pipelined Processor Design for Scientific Computing
🖥️ Computer Architecture & Pipelined Processor Design for Scientific Computing
Instruction pipelining overlaps the several distinct stages needed to execute one instruct…