Editorial Board

Editor-in-Chief

Tanush Shaska
Department of Mathematics & Statistics
Oakland University, Rochester, MI, USA
Email: shaska@i-aims.com

Editors

Carbone, Lisa
Rutgers University, New Brunswick NJ, USA
Infinite dimensional Lie groups and Lie algebras with applications to theoretical physics
Carvalho, Cicero
Federal University of Uberlandia, Brazil
Commutative Algebra, Coding Theory
First, Emily
Rutgers University, New Brunswick NJ, USA
Machine Learning, Software Engineering, Programming Languages, AI for Theorem Proving, AI for Formal Verification
Gamboa, Jose M.
Complutense, Madrid, Spain
Semialgebraic Geometry, Compact Klein surfaces
Ganesh, Vijay
Georgia Institute of Technology, GA, USA
Formal methods, Automated reasoning, AI for mathematics, Physics, and Code
Khaytan, Ayush
Rutgers University, New Brunswick NJ, USA
Reinforcement Learning, AI-guided search techniques
Kim, Sang-hyun
Korea Institute of Advanced Study
Topology and Geometry
Korchmáros, Gábor
University of Basilicata, Italy
Algebraic curves over finite fields, group theory, finite geometry, combinatorics
Malmendier, Andreas
Utah State University, USA
Algebraic Geometry, Mathematical Physics
Obus, Andrew
Baruch College / CUNY Graduate Center, NY, USA
Galois Theory, Arithmetic Geometry, Models of curves, Non-Archimedean geometry
Oliver, Thomas
University of Westminster
Stochastic artificial intelligence and formal mathematical reasoning.
Rafi, Kasra
University of Toronto
Manifolds and cell complexes, Geometric group theory, AI for math
Ramos, Eric
Stevens Institute of Technology
Representation Theory, Combinatorics, Combinatorial Topology
Shpectorov, Sergey
University of Birmingham
Algebra, Geometry, Combinatorics
Stubbs, Joe
Texas Advanced Computing Center, UT Austin
AI/ML, Formal Methods, Lean, Algebra, Software Engineering