Simons Collaborationon Arithmetic Geometry, Number Theory, and Computation

David Roe

David Roe’s study of p-adic computation includes work on computing L-functions of varieties, p-adic modular forms and methods for tracking precision. He is also interested in the local Langlands correspondence and p-adic tori. He contributes frequently to Sage, and helped create the LMFDB database of isogeny classes of abelian varieties. David received an S.B. in mathematics and literature from MIT in 2006, completed his Ph.D. at Harvard in 2011, then worked as a postdoctoral fellow at the Universities of Calgary, British Columbia and Pittsburgh before returning to MIT. As of 2025, he is a Principal Research Scientist at MIT.

Steffen Müller

Steffen Müller is an assistant professor at the Unviersity of Groningen. He received his Ph.D. from Bayreuth in 2010 and was then a member of the mathematics department in Hamburg and in Oldenburg. He is mainly interested in explicit methods in arithmetic geometry, in particular, the use of archimedean and p-adic height functions to study rational points on curves and abelian varieties.

Dohyeong Kim

Dohyeong Kim is interested in the Iwasawa theory, Diophantine equations, and the arithmetic Chern-Simons theory. He worked as a research scientist for the collaboration at MIT and previously was a postdoctoral assistant professor at the University of Michigan. Before that, he was a research fellow at the Center for Geometry and Physics for two years. Kim spent his graduate and undergraduate years at the POSTECH.

Kiran Kedlaya

Kiran Kedlaya is the Stefan E. Warschawski Professor of Mathematics at University of California, San Diego. He received his Ph.D. from MIT in 2000. He is a recipient of the Presidential Early Career Award for Scientists and Engineers, a Sloan Research Fellowship, and a Guggenheim Fellowship. Kedlaya’s research covers a variety of topics in algebraic geometry and number theory, with some emphasis on the computational aspects of these areas. He has developed practical algorithms for computing L-functions of algebraic varieties using p-adic analysis, and for tabulating isogeny classes of abelian varieties over finite fields. He is a frequent contributor to Sage and the LMFDB.

Campbell Hewett

Campbell Hewett received his Ph.D. at MIT in 2020 under Bjorn Poonen. He received an Sc.B. in math at Brown University in 2015. His interests are in algebraic geometry and number theory.

David Harvey

David Harvey is an Associate Professor and Australian Research Council Future Fellow at the University of New South Wales in Sydney, Australia. He received his Ph.D. from Harvard in 2008, and subsequently held a three-year postdoctoral position at New York University. Harvey’s research interests include algorithmic number theory, especially computing zeta functions of varieties over finite fields, and symbolic computation, especially algorithms for efficient arithmetic on large integers and polynomials.

Netan Dogra

Netan Dogra’s research is on the solution of Diophantine equations using p-adic analytic and etale topological methods. He is a Royal Society University Research Fellow at King’s College London. Before that he held post-doctoral positions at the University of Oxford, Imperial College London, and Radboud University. He received his PhD in 2015 from the University of Oxford.

Maarten Derickx

Maarten Derickx’s research interests lie primarily in computational number theory. His main focus is Galois representations of elliptic curves over number fields and the corresponding rational points on modular curves, as well as how a good understanding of these can be used in the modular approach to Diophantine equations and the modularity of elliptic curves. Derickx obtained his Ph.D. under the supervision of Bas Edixhoven at Universiteit Leiden in 2016 and was a postdoctoral researcher under Michael Stoll at Universität Bayreuth after this. He worked for the collaboration as a research scientist at MIT through 2019. As of 2025, he is a Senior Research Assistant at the University of Zagreb.

Lassina Dembélé

Lassina Dembélé worked for the collaboration at Dartmouth College through spring 2019. His current research interests are in computational number theory, Hilbert modular forms, automorphic forms, and Galois representations. Broadly speaking, his work is in the framework of explicit methods in the p-adic and mod p Langlands programme.

John Cremona

John Cremona has been a Professor at the University of Warwick since 2007. After obtaining his DPhil under Birch at Oxford in 1981, he held positions at the University of Michigan and Dartmouth College in the US, and the universities of Exeter and Nottingham in the UK. Cremona is best known for developing and implementing modular symbol algorithms and using these to compile tables of elliptic curves over the rationals, and has extended this work to compile similar elliptic curve tables over imaginary quadratic fields. Between 2013 and 2019, he was PI on a major grant “LMF: L-functions and modular forms, which part-funded the computing infrastructure and workshops which underpin the LMFDB.

Edgar Costa

Edgar Costa received his Ph.D. in 2015 from the Courant Institute of Mathematical Sciences at New York University and was a Postdoctoral Fellow at ICERM during the semester program “Computational Aspects of the Langlands Program”. Prior to joining the collaboration, he was an Instructor in Applied and Computational Mathematics at Dartmouth College. Costa’s research interests are centered around effective methods in arithmetic geometry, arithmetic statistics, and number theory. His current research is focused on the development and application of theoretical and computational techniques to study the interconnections predicted by the Langland’s program. As of 2025, he is a Research Scientist on the Magma project at MIT.

Alina Bucur

Alina Bucur is an Associate Professor at the University of California at San Diego. She received her Ph.D. from Brown University in 2006 under the supervision of Jeffrey Hoffstein. After that, she held a position as a Moore Instructor at Massachusetts Institute of Technology (postdoc, 2006-2009) and had visiting positions at the Institute for Advanced Studies (2006-2007 and 2009-2010) and MSRI (2011). Her research interests lie in the area of multiple Dirichlet series and arithmetic statistics. Bucur’s work combines techniques from analytic number theory, probability, and arithmetic geometry and has been supported by two Simons Collaboration Grants.