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 theory - simple, dependent, identity types, and induction. Lastly, we have a new website! It's at https://csu-applied-category-theory.github.io/

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 4 PM in Weber 223 on CSU's campus as usual, with refreshments beforehand at 3:30 in Weber 117. Gelfand pairs and finite metric spaces Richard […]

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 three, the asymptotics of the Turán numbers are completely known and follow from celebrated results of Erdős, Stone and Simonovits. However, these remain unknown for […]

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 carry structure. The primitive notion is called a "type," which can be interpreted as something like a set, or as something like a mathematical proposition, […]

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 Adiredja April 27 @ 2 pm EDT   If you are unable to attend our workshops, we will be posting slides and materials from the […]

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 the power of modern machine learning techniques, there is a belief that we can simply let these algorithms loose on the data and see what […]

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 cluster of points may seem like a problem from elementary school statistics (e.g. the mean), but has broad application to complex problems like action clustering […]

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 are size-dependent. Despite the usefulness of producing monodisperse particle size distributions, it still remains a challenge to fully understand -- and hence be able to control […]

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 options. This model takes the form of a partial differential equation (PDE) that, surprisingly, is deterministic. In the special case where the option only has […]