Professor James Wilson will be giving a high-level survey of where we are going with Homotopy Type Theory this semester.

The first third of the semester will be used to prepare for Professor Emily Rheil's colloquium talk on homotopy type theory on February 20 - we will be walking through type […]

The Rocky Mountain Algebraic Combinatorics Seminar (RMAC) will be starting up again this semester with our first talk on February 3, 2023.  Our seminars will happen on some Fridays at […]

Dive into the basics of R/Python! Bring a laptop computer for interactive learning. spring23awmposter

Talk 1: Spectral Turan problems for intersecting even cycles Dheer Desai University of Wyoming Turán numbers are a cornerstone of extremal graph theory. For graphs with chromatic number at least […]

TITLE: Homotopy type theory and univalent foundations ABSTRACT: This talk will introduce alternative foundations for mathematics in which "equality" becomes "identity," which is no longer a mere predicate but can […]

ibl-sigmaa-speaker-series-spring-2023 Presentations on Thursdays by: Martha Byrne January 26 @ 4 pm EST Edward Burger February 23 @ 11 am EST Daniel Reinholz March 30 @ 2 pm EDT Aditiya […]

Advisor: Dr. Henry AdamsCo-Advisor:Emily King Committee:  Dr. Jess Hagman, Dr. Imme Ebert-Uphoff Title: Using Mathematical Techniques to Leverage Domain Knowledge in Image Analysis for Earth Science Abstract: When presented with […]

Advisor: Dr. Michael Kirby Committee:  Dr. Emily King,Dr. Chris Peterson,Dr. Charles Anderson Title: Subspace and Network Averaging for Computer Vision and Bioinformatics Abstract: Finding a central prototype (a.k.a. average) from […]

Advisor:  Dr. Wolfgang BangerthCommittee:  Dr. Patrick Shipman,Dr. James Liu,Dr. Richard FinkeTitle: Quantification and application of uncertainty in the formation ofnanoparticlesAbstract: Nanoparticles are essential across many scientific applications, but their properties […]

Learn how to tackle this important professional skill with a representative from the CSU Career Center! spring23awmposter

Advisor: Dr. Wolfgang BangerthCommittee:  Dr. David Aristoff, Dr. Tianyang WangTitle: Numerical Solution of the Black-Scholes Equation Using Finite Element MethodsAbstract: The Black-Scholes model is a well-known model for pricing financial […]