Chris Grossack (they/them)
Education
UC Riverside
Mathematics PhD Student (Ongoing) with Peter Samuelson
Carnegie Mellon University
B.S. in Discrete Math and Logic (May 2019)
- Honors in Computer Science
- Minor in Music
Papers and Preprints
- Life in Johnstone’s Topological Topos (in preparation)
- A Descent Theorem for Right Angled Artin Groups (Accepted to AGT. preprint)
- Extensions of Abelian Automata Groups (preprint)
Talks Outside Of Department
- Life in Johnstone’s Topological Topos (CT Octoberfest, 2024)
- Gluing is Hard: Skeins and Hall Algebras (Centre for Quantum Mathematics at Syddansk, 2024)
- What is Factorization Homology? (AMS Special Session, 2024)
- 2-Categorical Descent and (Essentially) Algebraic Theories (CT Octoberfest, 2023)
- The Univalence Axiom (University of Florida, 2021)
- Categories, Modalities, and Type Theories: Oh My! (HoTT Workshop, 2021)
- Syntax and Semantics (Trans Math Day, 2020)
Seminar Talks In Department
- Categories and Harmonic Analysis: Tannaka and Pontryagin Dualities (UCR, 2024)
- Introduction to Quantum Groups (UCR, 2024)
- Introduction to Symplectic Geometry (UCR, 2023)
- Introduction to $A_\infty$ Categories and the Fukaya Category (UCR, 2023)
- Introduction to $A_\infty$ Algebras (UCR, 2023)
- Let’s Solve A Simple Analysis Problem Together (applications of topos theory) (UCR, 2022)
- The Weil Conjectures (UCR, 2021)
See more (reverse chronological order)
- Bring Out the Crayons: A Survey of Descriptive Combinatorics (UCR, 2021)
- Top 5 Undecidable Problems: Number 4 will Shock You! (UCR, 2021)
- Problem Solving Without Ansibles: An Introduction to Communication Complexity (UCR, 2021)
- Why Think? Letting Computers do Math for Us (UCR, 2021)
- Programming for Category Theorists (UCR, 2020)
- Model Theory and You (UCR, 2020)
- Synthetic Differential Geometry: A How-To Guide (CMU, 2019)
- Logical Compactness: Infinite Proofs for Free! (CMU, 2019)
- Category Theory for Programmers (CMU, 2018)
- Algebraic Datatypes and Their Derivatives (CMU, 2017)
Outreach
-
BB2P Mentor (2024)
- Artistic Expression of Original Research participant (2024)
- The Artistic Expression of Original Research art exhibition exemplifies the incredible work produced from blending the humanities and sciences. Graduate students translate science into art to communicate science in a new way and how it might be meaningful to our communities. Part of the national Being Human Festival, supported by the National Humanities Center, Center for Ideas and Society, and the Gluck Fellows Program of the Arts at UCR
-
President of UCR AMS Chapter (2024)
-
Category Theory Zulip Moderator (2024)
-
Founding member of UCR Spectra Chapter (2023)
-
Vice President of UCR AMS Chapter (2023)
- HoTTEST Summer School (TA and Unofficial Organizer, 2022)
- Stated goal is “to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression.”
-
SUBGroups (Group Leader and Mentor, 2022)
- SciComm@UCR (2021)
- “A student organization working to communicate science in creative ways”
- Math/Music Event (Lead Organizer and Composer, 2020, cancelled due to covid)
- An interdisciplinary event where composers with a math/computer science background would perform work relating to mathematics, and give a short talk on the mathematics that went into their piece.
-
Academic Review Board and University Disciplinary Committee (Board Member, 2017-2019)
- Frequently in the top 0.1% of users on math.stackexchange
Teaching Experience
-
Teaching Assistant At HoTTEST Summer 2022
- Primary Instructor (UCR)
- Math-194: reading course on lawvere duality (Spring 2023)
- Math-194: reading course on locales and category theory (Spring 2022)
- Co-Primary Instructor (CMU)
- 98-317: Hype For Types (Spring 2018, Fall 2018, Spring 2019)
Teaching Assistant (UCR)
- Math-7A/B: Calculus for The Life Sciences (Fall/Winter 2020)
- Math-131: Linear Algebra I (Spring 2021)
- Math-133: Geometry (Spring 2021)
- Math-131: Linear Algebra I (Fall 2021)
- Math-144: Set Theory (Fall 2021)
- Math-136: Introduction to the Theory of Numbers (Winter 2022)
- Math-140: Polynomials and Number Systems (Winter 2022)
- Math-165A: Complex Analysis (Winter 2022)
- Math-9C: Calculus (Spring 2022)
- Math-31: Applied Linear Algebra (Spring 2022)
- Math-10A: Calculus in Several Variables (Fall 2022)
- Math-133: Geometry (Fall 2022)
- CS-011: Introduction to Discrete Structures (Winter 2023)
- Math-6B: Introduction to College Math for the Sciences (Winter 2023)
- Math-10A: Calculus in Several Variables (Spring 2023)
- Math-7B: Calculus for the Life Sciences (Fall 2023)
- Math-31: Applied Linear Algebra (Fall 2023)
- CS-011: Introduction to Discrete Structures (Winter 2024)
- Math-10B: Calculus in Several Variables (Spring 2024)
Teaching Assistant (CMU)
- 15-150: Principles of Functional Proramming
- 21-373: Algebraic Structures
- 15-354: Computation and Discrete Math
Coursework
Graduate Coursework
- Analytic Number Theory
- Complex Analysis (and Riemann Surfaces)
- Topology (Algebraic, Differential)
- Real Analysis
- Algebra
- Mathematical Physics
- Commutative Algebra
- Homological Algebra
- Lie Groups
- Algebraic Geometry (Varieties and Schemes)
-
Representation Theory
- Categorical Logic
- Descriptive Set Theory
- Homotopy Type Theory
- Algebra
- Theorist’s Toolkit (audited)
- Algebraic Geometry (audited)
Relevant Undergraduate Coursework
- Programming Language Theory
- Modal Logic
- Computational Discrete Math
- Model Theory and Arithmetic
- Combinatorics
- Great Theoretical Ideas in Computer Science
- Linear Algebra
- Probability
- Matrix Theory
Research/Reading Experience
- HoTT Seminar (2023)
- Homotopy Type Theory Learning Seminar at UCR, organized by me
- Fukaya Categories and Mirror Symmetry (2023)
- Reading Group, co-organized by me and Catherine Cannizzo
- Morse Theory (2022)
- Reading Course with Brian Collier
- Stacks and Moduli Spaces (2022)
- Reading Course with Patricio Gallardo
- CAT(0) Cube Complexes (2021)
- Reading Course with Matt Durham
- Right Angled Artin Groups (2020)
- Advisor: Matt Durham
- Topological Combinatorics and Zero-Sum Ramsey Theory (2018-2019)
- Advisor: Florian Frick
- Automata Groups (2018-2020)
- Advisor: Klaus Sutner
Conferences Attended
- AMS Special Session: Category Theory and Homotopy Theory in Interaction (Spring 2024)
- Higher Segal Spaces and their Applications (Winter 2024)
- CT Octoberfest 2023 (Fall 2023)
- Representation Theory, Noncommutative Algebra, and Categorification (Summer 2023)
- CT2023 (Summer 2023)
- HoTT 2023 (Spring 2023)
- Workshop on Geoemtric Group Theory (Spring 2023)
- ASL Annual Meeting (Spring 2023)
- JMM (Winter 2023)
- BLAST (Summer 2022)
- HoTTEST Colloquia (Summer 2022)
- WAGS (Spring 2022)