Simons Foundation Courses

Learning How to Accelerate the Universe

Explore cutting-edge machine learning techniques applied to cosmological acceleration and universe modeling in this advanced astrophysics presentation.

• YouTube
• 51 minutes
• Self-Paced
• Free Video

From Simulations to Surveys - Building Realistic Mock Catalogs for Galaxies and the CMB

Explore how to build realistic mock catalogs for galaxies and cosmic microwave background from simulations to surveys in this astrophysics presentation.

• YouTube
• 47 minutes
• Self-Paced
• Free Video

Modeling the Black Hole-Galaxy Connection

Discover how black holes and galaxies influence each other through advanced modeling techniques in this 46-minute research presentation from the Simons Foundation's annual meeting.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

Future Directions in Training Cosmological Emulators

Discover advanced techniques for developing cosmological emulators and explore cutting-edge machine learning approaches to simulate universe evolution efficiently.

• YouTube
• 47 minutes
• Self-Paced
• Free Video

Bridging Galactic and Cosmological Scales - Baryonic Modeling for Next-Generation Simulations

Explore advanced baryonic modeling techniques that connect galactic and cosmological scales for next-generation astrophysical simulations and universe understanding.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Creating a Bayesian Digital Twin of Our Universe

Discover how to build a Bayesian digital twin of the Universe using advanced computational methods and statistical modeling techniques for cosmological research.

• YouTube
• 47 minutes
• Self-Paced
• Free Video

A Simulation Based Re-analysis of the CMASS Data

Discover how simulation-based methods can reanalyze CMASS galaxy survey data to extract new cosmological insights and improve our understanding of large-scale structure formation.

• YouTube
• 35 minutes
• Self-Paced
• Free Video

The Landscape of Current and Coming Cosmological Surveys

Explore the current and future landscape of cosmological surveys with expert insights into observational astronomy and universe mapping techniques.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

Shaping the Future for the Next Generation of Systems and Computational Neuroscientists

Discover how the Simons Foundation supports emerging systems and computational neuroscientists through autism and neuroscience division programs.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

A Tribute to Jim Simons in Celebration of the Importance of Basic Science and Mathematics

Discover how Jim Simons revolutionized mathematics and science through his groundbreaking contributions and philanthropic vision in this tribute by ETH Zürich's Alessio Figalli.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

Second Analysis Lecture - Filter

Explore advanced analysis concepts through Lean formalization, focusing on filters and their mathematical applications in a bilingual teaching approach.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video

Group Actions on Affine Space and Euclidean Space - Geometry Lecture 2

Explore group actions on affine and Euclidean spaces through formalization in Lean, building undergraduate-level geometry skills with mathematical proof verification.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

A Crash Course on Type Theory

Discover the fundamentals of type theory in this intensive session, building essential mathematical foundations for formal verification and proof systems.

• YouTube
• 1 hour 17 minutes
• Self-Paced
• Free Video

GitHub Basics

Master essential Git and GitHub workflows for collaborative mathematical formalization projects in Lean.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Free Video

Simple Groups

Explore simple groups theory through formal mathematical proofs using Lean programming language in this advanced algebra session.

• YouTube
• 59 minutes
• Self-Paced
• Free Video