معرفی
Charlotte Aten is a Burnett Meyer Instructor at the University of Colorado Boulder's Department of Mathematics, part of the College of Arts and Sciences. Previously, she held a postdoctoral position at the University of Denver. Her research focuses on combinatorics, universal algebra, and category theory, with applications to machine learning and formal verification. A proponent of interdisciplinary work, she explores connections between algebraic structures and topological spaces, as well as categorical approaches to neural networks.
Education:
- PhD in Mathematics (2022), University of Rochester, thesis: Finite Generation of Families of Structures Equipped with Compatible Group Actions
- Bachelor of Science in Mathematics (Honors, 2017), University of Rochester
- Associate of Science in Mathematics (Honors, 2014), Monroe Community College
Research Interests: Functorial constructions of spaces from quasigroups, representation stability, categorified invariant theory, applied category theory in machine learning, and formal verification. Her work bridges abstract algebra with geometric and computational frameworks, emphasizing practical applications.
Recognition:
- Provost’s Fellowship (2017), University of Rochester
- Doris Ermine Smith Award (2017), University of Rochester
- McNair Scholar (2015), University of Rochester
- Xerox STEM Scholarship (2014), Monroe Community College
Teaching & Outreach: Taught courses at the University of Colorado Boulder and University of Denver, including Linear Algebra, Calculus, and specialized topics. Led undergraduate research programs (e.g., NSF REU/Grad for All), focusing on category theory and Python coding. Served as President of the University of Rochester’s AMS Graduate Student Chapter and Treasurer of outGRADS.
Contributions: Authored textbooks, including Category Theory: A Concise Course (2019). Active on GitHub with repositories on algebraic structures and lattice theory. Maintains an educational YouTube channel on universal algebra and collaborates with Mastodon’s math-focused community (mathstodon.xyz).
