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
- 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
- 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
-
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)
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
- 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)