Find Academic Supervisors

Philip DittmannView profile

Lecturer

• Field Theory
• Number Theory
• Model Theory
• +3 more

Philip Dittmann is a Lecturer in Pure Mathematics at the Department of Pure Mathematics, University of Manchester. His research focuses on field theory, number theory, model theory, and algebraic geometry, with particular emphasis on definability questions over global and finitely generated fields, and variants of Hilbert's Tenth Problem. His work intersects with valued fields, Galois groups, and existential theories. Recent publications explore topics such as local field characterizations, axioms for existential theories, and definable valuations in ordered fields. Notable collaborations include studies on finitely ramified henselian fields and axiomatizing Fq((t)). His research often bridges algebraic and logical perspectives, contributing to foundational questions in mathematics. No academic awards are explicitly listed in the provided text. Advising and grant information is not detailed here. He is a member of the Pure Mathematics department at Manchester, contributing to its research activities in algebra and number theory.

Ari ShnidmanView profile

Associate Professor

• Number Theory
• Arithmetic Geometry
• L-functions
• +4 more

Ari Shnidman is an Associate Professor in Mathematics at the Hebrew University of Jerusalem. For the 2024/25 academic year, he is a member of the Institute for Advanced Study in Princeton. His research focuses on number theory, particularly arithmetic geometry, special values of L-functions, and arithmetic statistics. Research Interests: Shnidman investigates deep connections between algebraic curves, abelian varieties, and L-functions. His work spans Tate-Shafarevich groups, Ceresa cycles, Heegner cycles, and rank distribution in elliptic curves. Key methodologies include algebraic geometry, representation theory, and computational number theory. Publications: Recent papers explore Ceresa cycles, torsion in Tate-Shafarevich groups, and arithmetic of curves like Picard curves. Collaborative work dominates his output, with frequent co-authorship on papers involving elliptic curves, L-functions, and geometric invariants. Theoretical frameworks are often complemented by computational experiments. Funding: European Research Council Israel Science Foundation Academic Leadership: Shnidman co-organizes the HUJI-BGU Workshop in Arithmetic and leads seminars including: Lunch Seminar on Transcendental Number Theory (Spring 2024) Seminar on Honda-Tate Theory (Spring 2023) Fundamental Lemmas and Fourier Transform Seminar (Spring 2021)

Sylvy AnscombeView profile

Associate Professor

• Model Theory
• Mathematical Logic
• Algebra
• +3 more

Sylvy Anscombe is an Associate Professor (maîtresse de conférences) at Université Paris Cité, affiliated with the Équipe de Logique within the Institut de Mathématiques de Jussieu–Paris Rive Gauche (IMJ-PRG). Her research focuses on model theory and its connections to algebra and number theory, particularly in valued fields, henselian valuations, and decidability questions. She holds a DPhil from the University of Oxford, supervised by Prof. Jochen Koenigsmann. Education: DPhil in Mathematics (Oxford, 2013) Her work explores the definability in henselian fields, Ax–Kochen–Ershov principles, and applications to Hilbert’s Tenth Problem. She co-leads the ANR-DFG project “AKE-PACT” and supervises PhD students in valued field theory. Anscombe serves as an editor for the Model Theory journal and actively contributes to international conferences, including the Logique à Paris series and the Hausdorff Research Institute for Mathematics’ trimester programs. Her research also intersects asymptotic classes of finite structures and measurable fields, with recent work on Cohen rings and existential AKE principles. She collaborates widely, including with Franziska Jahnke and Arno Fehm.

Chris PollettView profile

Professor

• Computational Complexity
• Quantum Circuits
• Cryptocurrencies
• +8 more

Chris Pollett is a Professor and Chair in the Department of Computer Science at San Jose State University (SJSU), part of the College of Engineering. He has held past academic affiliations at UCLA, Clark University, Boston University, UC San Diego, Caltech, and others. His research focuses on computational complexity, quantum circuits, cryptocurrencies, and logic, with a particular emphasis on bounded arithmetic and theoretical computer science. Pollett is also actively involved in administrative roles, including serving on the Recruitment Committee, Graduate Curriculum Committee, and various other departmental committees. He has advised numerous master's students and undergraduate researchers, contributing to projects in AI, databases, and web development. Research interests include computational complexity theory, quantum computing, cryptographic systems, and formal logic. Notable work involves exploring Ethereum-based lending systems, proof-of-stake consensus mechanisms, and foundational questions in bounded arithmetic. Pollett has also contributed to open-source projects like the Yioop search engine, emphasizing practical applications of theoretical concepts. He holds a Ph.D. in Computer Science from UC San Diego (1997). Administrative contributions span curriculum development, accessibility initiatives (as Faculty-in-Residence for Accessible Technology in the College of Science), and academic leadership. Pollett has authored over 30 publications in top-tier journals and conferences, and his teaching spans courses in algorithms, databases, AI, and theoretical computer science.

Christopher J PollettView profile

Professor

• Bounded Arithmetic
• Computational Complexity
• Quantum Computation
• +7 more

Christopher J Pollett is a Professor of Computer Science at San José State University (SJSU), serving as department chair. He holds a Ph.D. in Mathematics from the University of California, San Diego (1997). His research focuses on computational complexity theory, bounded arithmetic, quantum computation, and applications in AI and cryptocurrencies. Pollett has also held visiting positions at Clark University (1997–1999) and UCLA (1999–2001). His research interests span theoretical computer science, including but not limited to: bounded arithmetic, computational complexity, quantum circuits, databases, nonmonotonic logics, neural networks, and web development. He has contributed extensively to journals such as Information and Computation , Mathematical Logic Quarterly , and Journal of Symbolic Logic . Pollett’s work often bridges proof theory and computational limits, with key publications on time-space tradeoffs, circuit complexity, and quantum algorithms. His service includes roles on various departmental committees and administrative duties at SJSU.

Wei HoView profile

Professor

• Algebraic Geometry
• Number Theory
• Arithmetic Geometry
• +4 more

Wei Ho is a Professor of Mathematics at the University of Michigan (on leave) and holds affiliations at the Institute for Advanced Study (IAS) and Princeton University. Her research focuses on number theory, algebraic geometry, and their intersections with invariant theory, dynamics, and combinatorics. She earned her M.A. from Harvard University (2003) and Ph.D. from Princeton University (2009). Her work bridges arithmetic geometry and algebraic structures, including studies on elliptic curves, Brauer groups, and moduli spaces. Notably, she co-organized events like the 2025 Emmy Noether Lecture Series (IAS) and contributed to editorial boards such as International Mathematics Research Notices . Recognitions include the 2017 Sloan Fellowship and 2023 AMS Fellowship. Ho actively collaborates in workshops and conferences, addressing topics like arithmetic statistics, rational points, and geometric methods in number theory. Her research often involves coregular spaces, Galois closures, and applications of algebraic geometry to solve classical problems in arithmetic.

Jochen KoenigsmannView profile

Lecturer

• Model Theory
• Arithmetic of Fields
• Valuation Theory
• +4 more

Jochen Koenigsmann is a University Lecturer at the Mathematical Institute (Logic Group) of the University of Oxford and a Tutorial Fellow at Lady Margaret Hall (LMH). His research focuses on model theory , arithmetic of fields , valuation theory , Galois theory , Hilbert's 10th problem , and anabelian geometry , with applications in number theory. His recent work includes studies on p-adic valuations , pro-p Galois groups , and definability in number fields , alongside contributions to decidability and undecidability in arithmetic contexts. Scientific Awards: Studienstiftung des deutschen Volkes Dornier-Forschungspreis Heisenberg-Fellow (DFG) Invited Speaker at ICM Rio 2018 He supervises graduate students and is affiliated with the Mathematical Institute's Logic Group.

• Analytic Number Theory
• Prime Number Theory
• Arithmetic Geometry
• +4 more

Dr. Stanley Xiao is an Assistant Professor in the Department of Mathematics and Statistics at the University of Northern British Columbia (UNBC). He holds a PhD in Pure Mathematics from the University of Waterloo (2016), with a thesis on binary forms and counting rational points on varieties. His research focuses on analytic and algebraic number theory, particularly density problems requiring interdisciplinary techniques. Xiao is fluent in English, Mandarin, and Cantonese. Education: PhD (University of Waterloo, 2016), MMath (Waterloo, 2011), BSc (UBC, 2009). His expertise includes analytic number theory, prime distribution, arithmetic geometry, and geometry of numbers. He has held postdoctoral positions at the University of Toronto (2018-2021) and the University of Oxford (2016-2018). Research Interests: Xiao investigates density-type problems involving binary forms, k-free integers, and rational points on algebraic varieties. His work bridges algebraic structures and analytic methods, with applications to counting problems and Diophantine equations. Recent studies include monogenic cubic fields, quartic D₄-fields, and exponential sums over singular forms. Awards: Murray Martin Prize (2017), NSERC Postdoctoral Fellowship (2016-2018), and multiple Ontario Graduate Scholarships. His contributions have been recognized through invited talks at institutions like the University of Cambridge, Oxford, and MIT. Teaching Experience: Taught courses at U of T, Waterloo, and Oxford, including Calculus, Linear Algebra, and Algebraic Cryptography. Active in academic service, including organizing number theory seminars and reviewing for top journals like the Journal de Théorie des Nombres de Bordeaux.

Wolfgang K. SeilerView profile

Professor

• Cryptology
• Algebraic Statistics
• Computer Algebra
• +7 more

Wolfgang K. Seiler is a Professor at the Department of Mathematics, University of Mannheim. His academic activities span multiple mathematical disciplines, including Cryptology, Algebraic Statistics, Computer Algebra, and Topology. He has consistently taught advanced courses such as Cryptology, Topology and equilibria, Computer algebra, and Mathematics of Information across semesters from Fall 2008 to Spring 2025. His office is located in B6, 26, Room B4.08, Mannheim 68131, with contact details including a university phone (0621/181-2515), private phone (0621/97 60 48 08), and fax (0621/181-2666). His research interests focus on intersections of algebra, geometry, and computational mathematics. He has collaborated with H. Kredel, M. Schlichenmaier, and others on seminars covering topics like Hilbert’s tenth problem, discrete dynamical systems, and symbolic integration. His teaching extends to specialized areas like differential algebra, number theory, and applications of computer algebra in federal electoral law and cryptography. Publications and lecture notes from his courses, such as Funktionentheorie I (Complex Analysis I) and Elemente der Funktionentheorie (Elements of Complex Analysis), are available through his academic website. His work emphasizes both theoretical and applied mathematical problems, including projects related to simulation systems and computational visualization.

Yuri MatiyasevichView profile

Professor

• Diophantine equations
• Computability theory
• Algorithms
• +1 more

Yuri Matiyasevich is a renowned mathematician and Professor at Saint Petersburg State University (formerly Leningrad State University) since 1980, with additional part-time teaching roles at the Polytechnical Institute and Saint Petersburg State University. He serves as the head of a laboratory at the Steklov Institute of Mathematics, Leningrad/St. Petersburg Branch , where he has held progressively senior research positions since 1970. Fields of Scholarship : Diophantine equations, Computability theory, Algorithms, Decidability problems Scientific Awards include: Full member, Russian Academy of Sciences (2008) Corresponding member, Bavarian Academy of Sciences (2007) Docteur Honoris Causa, Université Pierre et Marie Curie (Paris-6), France (2003) Humboldt Research Award (1997) Docteur Honoris Causa, l'Université d'Auvergne, France (1996) A.A. Markov Prize, Academy of Sciences of the USSR (1980) His work has profoundly impacted mathematical logic and computability theory, particularly through his resolution of Hilbert's tenth problem.

Tom WestonView profile

Professor

• Number Theory
• Algebraic Number Theory
• Arithmetic Geometry
• +3 more

Tom Weston is a Professor and Department Head in the Department of Mathematics and Statistics at the University of Massachusetts Amherst. His research focuses on Number Theory, particularly the interplay between L-functions and Selmer groups, with contributions to Iwasawa theory, modular forms, and arithmetic geometry. He earned his S.B. from MIT (1996), and M.A. and Ph.D. from Harvard University (1997, 2000) under Barry Mazur. His educational background includes postdoctoral roles at the University of Michigan (2000-02), UC Berkeley (2002-03), and Amherst College (2003-04). Research interests span L-functions, elliptic curves, Galois representations, and deformation theory. He has advised multiple Ph.D. students and authored influential papers on topics like Selmer groups, Euler systems, and modular curves. Key publications include works on anticyclotomic μ-invariants, explicit reciprocity laws for modular forms, and diophantine stability for elliptic curves. His expository contributions cover topics from cobordism theory to the Banach-Tarski paradox. He is actively involved in teaching and mentoring, as highlighted by his award-winning pedagogy.

Matiyasevich YuriView profile

Professor

• Diophantine equations
• Computability theory
• Algorithms
• +1 more

Yuri Matiyasevich is a Russian mathematician and computer scientist affiliated with the Steklov Institute of Mathematics (Leningrad/St.Petersburg Branch) since 1980, where he serves as head of the Laboratory of Mathematical Logic. He also holds part-time professorships at Leningrad/St.Petersburg State University (since 2003) and previously at Polytechnical Institute (1980-1981). His research focuses on Diophantine equations, Computability theory, Algorithms, and Decidability problems. Full member, Russian Academy of Sciences (2008) Corresponding member, Bavarian Academy of Sciences (2007) Docteur Honoris Causa, Université Pierre et Marie Curie (2003) Humboldt Research Award (1997) Markov Prize, Academy of Sciences of the USSR (1980) His recent work involves computational approaches to Riemann's zeta function, probabilistic reformulations of graph theory problems, and algorithmic analysis of Diophantine representations. He has published extensively on connections between number theory and computational models, including studies on exponential Diophantine equations and their applications. Notable contributions include definitive solutions to Hilbert's Tenth Problem through Diophantine representations of recursively enumerable sets, and computational experiments supporting the Riemann Hypothesis. His publications span multiple languages and cover intersections between mathematical logic, number theory, and theoretical computer science.

• Foundations of Complex Systems
• Abelian Varieties
• Finite Fields
• +5 more

Valentijn Karemaker is an Assistant Professor at the Faculty of Science, Utrecht University , specializing in the Mathematical Institute under the Fundamental Mathematics sub-unit. He focuses on the Foundations of Complex Systems , with particular expertise in Abelian Varieties , Finite Fields , Galois Representations , and Isogeny Classes . His research bridges theoretical mathematics and computational methods, notably contributing to problems like Hilbert's Tenth Problem and the Gauss problem for central leaves . He has published extensively in top-tier journals and co-authored significant surveys on local-global principles. Scientific Awards : NWO-Veni Award (2019) Westerdijk Award (2021-2022) Utrecht Young Academy (2021) NWO-XL Award (2022) NWO-Vidi Award (2023) Grants and Collaborations : He has received competitive NWO awards, hosted international researchers like Chia Fu Yu and Mihran Papikian, and contributed to editorial work for the American Mathematical Society.

Peter KoymansView profile

Research Fellow

• Arithmetic Statistics
• Analytic Number Theory
• Algebraic Number Theory
• +3 more

Peter Koymans is a Research Fellow at Utrecht University's Mathematical Institute, funded by a Veni grant for "New methods in arithmetic statistics." He holds a PhD from Leiden University, supervised by Jan-Hendrik Evertse and Peter Stevenhagen. Koymans serves as an editor for Indagationes Mathematicae and organizes academic seminars on anabelian geometry and arithmetic statistics. His research focuses on arithmetic statistics , analytic number theory , and algebraic number theory , with emphasis on Diophantine equations, class groups, and elliptic curves. Key methodologies include combinatorial approaches to Hilbert's 10th problem, distribution analysis of class groups, and the study of binary forms. Koymans' publications demonstrate consistent focus on: Advanced techniques in arithmetic statistics (e.g., torsion bounds, distribution theorems) Diophantine problems (Fermat equations, integral points) Algebraic structures (elliptic curves, binary forms) Interdisciplinary connections with algebraic geometry and logic Awards: Veni Grant (NWO) Student Advising: Supervised 5+ graduate students including Margherita Piccolo (2019) and Joel Sommer (2024). Coordinates seminars and reading groups for early-career researchers. Collaborations: Leads the WASP (Workshop on Arithmetic Statistics Problems) initiative and maintains extensive co-author networks across Europe and North America.

• Number Theory
• Uniform Distribution Theory
• Discrepancy Theory
• +3 more

Christoph Baxa is an Associate Professor in the Department of Mathematics at the University of Vienna, where he has been a faculty member since 2000. His academic career at the University of Vienna began in 1990 as an Assistant Professor in the Department of Statistics, then moved to the Department of Mathematics in 1992, where he was promoted to Associate Professor in 2000. He maintains an active research profile and teaching load, with courses scheduled through 2025. Dr. Baxa completed his academic training at the University of Vienna, earning his M.A. in 1990 with a thesis on prime representing functions and Hilbert's Tenth Problem, his Ph.D. in 1994 on the discrepancy of sequences (nα), and his Habilitation in 2000 on estimates for discrepancies of special uniformly distributed sequences. His research focuses on Number Theory, particularly Uniform Distribution Theory, Discrepancy Theory, Continued Fractions, and Diophantine Approximation. His work often connects number theory with mathematical logic, as evidenced by his early research on Diophantine representations. His recent scholarly activity is dominated by book reviews for Monatsh. Math., covering diverse areas including algebraic geometry, number theory, history of mathematics, and mathematical education. Dr. Baxa has received several prestigious awards including the Ph.D. sub auspiciis Praesidentis rei publicae, the Würdigungspreis from the Austrian Ministry of Science and Research, the Jubiläums-Studienpreis from the Austrian Mathematical Society, and the Edmund und Rosa Hlawka Preis from the Austrian Academy of Sciences. He has held research grants from the Austrian Science Fund and was an Erwin Schrödinger Fellow at the University of Colorado at Boulder from 2001-2003. As a professional service, he has been a regular reviewer for Mathematical Reviews since 1996 and reviews books for Monatsh. Math. He is a member of numerous mathematical societies including the AMS, DMV, EMS, LMS, ÖMG, and SMF.