The MSRI-UP summer program is designed to serve a diverse group of undergraduate students who would like to conduct research in the mathematical sciences.

In 2026, MSRI-UP will focus on Numerical Methods for Differential Equations The research program will be led by Dr. Johnny Guzman of Brown University.

PROOF (Promoting Research Opportunities and Open Forums) is a two-week summer program designed to provide research opportunities for U.S.-based mathematicians, statisticians, and their collaborators in the U.S. and abroad, whose ongoing research may have been impacted by factors such as heavy teaching loads, professional isolation, limited access to funding, heavy administrative duties, personal obligations, or other constraints.

The program welcomes in-person participation from faculty and advanced graduate students at all U.S. colleges and universities. It aligns with SLMath’s broader goal to open doors to mathematics by creating environments where researchers from a wide range of institutional settings can thrive, pursue projects, and reach their full academic/scientific potential.

<p>Homotopy measures how spheres can be tangled in spaces; the logo shows a sphere tangled in a grove of California redwoods<br />The background painting is &ldquo;Giant Redwood Trees of California&rdquo; by Albert Bierstadt in 1874</p>

The goal of this school will be to introduce students to several powerful cohomological tools that were brought to commutative algebra by Avramov in the 80s and 90s: Lie algebra methods from homotopy theory, and support theoretic methods from the representation theory of finite groups. These tools have have seen a huge array of applications that continue to grow, with several major developments in recent years, opening new connections to algebraic topology, noncommutative algebraic geometry, and representation theory.

This Summer Graduate School aims to introducing graduate students to some aspects of contemporary modeling and analysis of dynamical systems in their interactions with machine learning and artificial intelligence (AI) applications.