Editorial Board
Editor-in-Chief
Tanush Shaska
Department of Mathematics and Statistics
Oakland University, Rochester, MI, USA
Email the editorial office
Department of Mathematics and Statistics
Oakland University, Rochester, MI, USA
Email the editorial office
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 Uberlândia, Brazil Commutative algebra, coding theory
- First, Emily Rutgers University, New Brunswick NJ, USA Machine learning, software engineering, programming languages, AI for theorem proving and formal verification
- Gamboa, Jose M. Universidad Complutense de 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
- Khaitan, Ayush Rutgers University, New Brunswick NJ, USA Reinforcement learning, AI-guided search techniques
- Kim, Sang-hyun Korea Institute for Advanced Study, Seoul, South Korea Topology and geometry
- Kontorovich, Alex Rutgers University, New Brunswick NJ, USA Number theory, automorphic forms, formalisation of mathematics
- Korchmáros, Gábor University of Basilicata, Italy Algebraic curves over finite fields, group theory, finite geometry, combinatorics
- Malmendier, Andreas Utah State University, UT, USA Algebraic geometry, mathematical physics
- Obus, Andrew Baruch College and CUNY Graduate Center, NY, USA Galois theory, arithmetic geometry, models of curves, non-Archimedean geometry
- Oliver, Thomas University of Westminster, UK Stochastic artificial intelligence, formal mathematical reasoning
- Rafi, Kasra University of Toronto, Canada Manifolds and cell complexes, geometric group theory, AI for mathematics
- Ramos, Eric Stevens Institute of Technology, NJ, USA Representation theory, combinatorics, combinatorial topology
- Shpectorov, Sergey University of Birmingham, UK Algebra, geometry, combinatorics
- Stubbs, Joe Texas Advanced Computing Center, UT Austin, TX, USA AI and machine learning, formal methods, Lean, algebra, software engineering
Manuscripts are assigned to a handling editor after prescreening. Authors are not told which editor handles their paper, and referees are approached individually by that editor.
