Advisor: Dr. Rachel Pries Committee: Dr. Alexander Hulpke, Dr. Mark Shoemaker, Dr Joe Gersch Title: An Exploration of the Genus 2 Superspecial (2,2)-Isogeny Graph Abstract: In 2022, one of the finalists for NIST's call for a post-quantum cryptography, SIKE, was broken by Castryck and Decru. They constructed an attack relying on the Genus 2 Superspecial […]
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 […]
This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.
