AIM Research Community form

[StevenClontz]

Call for proposals: https://aimath.org/cgi-bin/proposeResComm.cgi

Due: Nov 1

Description:
Code4Math_AIM.pdf

Title: Consortium of Digital Ecosystems for Mathematics

Primary contact: Steven Clontz sclontz@southalabama.edu

Other contacts:

• David Lowry-Duda david@lowryduda.com
• Christelle Vincent christelle.vincent@uvm.edu

Participant List:

• Alexis Hardesty, Texas Women's University, Algebra (W, U)
• Anshula Gandhi, Cambridge, Formalized Math (W, M)
• Ben Hutz, St. Louis U, Arithmetic Dynamics
• Ben Spitz, UVA, Algebra
• Brandon Sisler, UVA, Homotopy Type Theory
• Chris Caruvana, IU-Kokomo, Topology (M, U)
• Christelle Vincent, University of Vermont, Computational Number Theory (W)
• Coco Huang, Temple University, Number Theory (W, M)
• Courtney R. Gibbons, Hamilton College, Algebra (W, U)
• David Austin, GVSU, Accessible mathematical diagrams (M, U)
• David Farmer, AIM, L-functions and modular forms
• David Lowra Duda, ICERM, Number thoery
• David Roe, MIT, Mathematical databases and p-adic Computation
• Deyan Ginev, KWARC, LaTeXML, arXiv (M)
• Drew Sutherland, MIT, Number theory and arithmetic geometry
• Edgar Costa, MIT, Arithmetic geometry, arithmetic statistics, and number theory (M)
• Emma Smith Zbarsky, MathWorks, Computational math software and education (W, I)
• Eran Assaf, MIT, Algebraic number theory, representation theory (M)
• Holly Paige Chaos, Vermont, Arithmetic geometry (W)
• James Dabbs, Procore Tech, Software engineering and topology (I)
• Jim Fowler, Ohio State University, Topology
• John Estes, Belhavan, Graph theory (U)
• Junehyuk Jung, Brown, Analytic algebraic number theory
• Katja Berčič, KWARC, Mathematical research data and combinatorics (W)
• Ken Monks, University of Scranton, Automated proof verification for education (U)
• Kim Morrison, Austrailian National, Interactive and automated theorem proving (W)
• Kiran Kedlaya, UCSD, Number theory (M)
• Luna Strah, University of Ljubljana, Topos theory (W)
• Lynne Yeunglalp, Wake Forest University, Topology and math education (W)
• Melissa Lynn, St. Olaf College, Computer science (W, U)
• Nathan Carter, Bentley, Mathematics education software and Data Science
• Oscar Levin, Univeristy of Northern Colorado, Algebra, combinatorics, and PreTeXt
• Padmavathi Srinivasan, Boston University, Algebraic geometry and number theory (W, M)
• Rob Lewis, Brown, Computer science and formalized mathematics
• Ryan Schwiebert, Seegrid, Software engineering and algebra (I)
• Sam Schiavone, MIT, Arithmetic geometry
• Steven Clontz, South Alabama, Mathematics sociotechnical infrastructure and topology (U)
• Tien Chih, Emory College, Homotopy theory (U)
• Tim Hosgood, Topos Institute, Category theory
• Tom Edgar, Pacific Lutheran, Algebra
• Valeria de Paiva, Topos Institute, Artificial intelligence (W, M)
• Wode "Nimo" Ni, CMU, Computer science and mathematical visualization

(W): women, (M): underrepresented minorities, (U): faculty at an undergraduate institution, (I): work outside of academia

Demographic Breakdown:

• women: 13
• underrepresented minorities: 10
• undergraduate institution: 9
• work outside of academia: 3

MSC: 00A05, 00A35, 68Vxx, 97U50 https://mathscinet.ams.org/mathscinet/msc/msc2020.html