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
 A Descent Theorem for Right Angled Artin Groups (preprint)
 Extensions of Abelian Automata Groups (preprint)
Talks Outside UCR/CMU
 2Categorical 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
 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 HowTo 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

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, 20172019)
 Frequently in the top 0.1% of users on math.stackexchange
Teaching Experience

Teaching Assistant At HoTTEST Summer 2022
 Primary Instructor (UCR)
 Math194: reading course on lawvere duality (Spring 2023)
 Math194: reading course on locales and category theory (Spring 2022)
 CoPrimary Instructor (CMU)
 98317: Hype For Types (Spring 2018, Fall 2018, Spring 2019)
Teaching Assistant (UCR)
 Math7A/B: Calculus for The Life Sciences (Fall/Winter 2020)
 Math131: Linear Algebra I (Spring 2021)
 Math133: Geometry (Spring 2021)
 Math131: Linear Algebra I (Fall 2021)
 Math144: Set Theory (Fall 2021)
 Math136: Introduction to the Theory of Numbers (Winter 2022)
 Math140: Polynomials and Number Systems (Winter 2022)
 Math165A: Complex Analysis (Winter 2022)
 Math9C: Calculus (Spring 2022)
 Math31: Applied Linear Algebra (Spring 2022)
 Math10A: Calculus in Several Variables (Fall 2022)
 Math133: Geometry (Fall 2022)
 CS011: Introduction to Discrete Structures (Winter 2023)
 Math6B: Introduction to College Math for the Sciences (Winter 2023)
 Math10A: Calculus in Several Variables (Spring 2023)
Teaching Assistant (CMU)
 15150: Principles of Functional Proramming
 21373: Algebraic Structures
 15354: 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, coorganized 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 ZeroSum Ramsey Theory (20182019)
 Advisor: Florian Frick
 Automata Groups (20182020)
 Advisor: Klaus Sutner
Conferences Attended
 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)