Principal Investigators  Affiliated Scientists
Principal Investigators
Jennifer S. Balakrishnan, Boston UniversityJennifer S. Balakrishnan is a number theorist working on explicit methods for curves. Her research is motivated by various aspects of the classical and padic Birch and SwinnertonDyer conjectures, as well as the problem of algorithmically finding rational points on curves. She is currently the Clare Boothe Luce Assistant Professor of Mathematics at Boston University. Previously, she was a Titchmarsh Research Fellow at the Mathematical Institute of the University of Oxford, a Junior Research Fellow of Balliol College, Oxford, and an NSF Postdoctoral Fellow at Harvard. Balakrishnan received an AB and AM from Harvard University and a PhD in Mathematics from MIT. 

Noam D. Elkies, Harvard UniversityNoam D. Elkies is professor of mathematics at Harvard University. He did undergraduate work at Columbia and obtained his doctorate at Harvard in 1987. He is known for exhibiting many integral solutions to the equation A^{4} + B^{4} + C^{4} = D^{4} settling a 200yearold question of Euler. Elkies also proved that elliptic curves over the rational numbers admit infinitely many supersingular primes. He is famous for `extreme examples’ in number theory: elliptic curves with large rank, K3 surfaces with large Picard group, etc. Elkies has also contributed to algorithms for elliptic curves over finite fields, characterizations of efficient sphere packings, and tilings of Aztec dimanonds by dominoes. In 2017 he was elected to the National Academy of Sciences. 

Brendan Hassett, Brown UniversityBrendan Hassett is Professor of Mathematics and Director of the Institute for Computational and Experimental Research in Mathematics at Brown University. He received his BA in 1992 from Yale and his PhD from Harvard in 1996 under the supervision of Joseph Harris. From 1996 to 2000 he worked as a Dickson Instructor at the University of Chicago, partly supported by a National Science Foundation Postdoctoral Research Fellowship. He was a faculty member at Rice University from 2000 to 2015 and chaired its mathematics department from 2009 to 2014. He has held visiting positions at the Mittag Leffler Institute in Stockholm, the Chinese University of Hong Kong, and the University of Paris (Orsay). Brendan’s research focus is algebraic geometry. His work has been recognized with a Sloan Research Fellowship, a National Science Foundation CAREER award, and the Charles W. Duncan Award for Outstanding Faculty at Rice. He is a Fellow of the American Mathematical Society. 

Bjorn Poonen, MITBjorn Poonen received an A.B. in Mathematics and Physics from Harvard in 1989, and a Ph.D. in Mathematics from U.C. Berkeley in 1994. In 2008, after positions at MSRI, Princeton, and U.C. Berkeley, he moved to MIT, where he is the Claude Shannon Professor of Mathematics. Poonen is known for developing and analyzing algorithms aimed at determining the set of rational points of a given variety. But his theorems also demonstrate the limitations of known methods, and even show that certain related problems are undecidable. Poonen has received the Guggenheim, Packard, Rosenbaum, Simons, and Sloan fellowships, as well as a Miller Professorship, the Chauvenet Prize, and the MIT School of Science Prize in Undergraduate Teaching. He is also a fourtime Putnam Competition winner, a Simons Investigator, a fellow of the American Academy of Arts and Sciences and of the American Mathematical Society, and the founding managing editor of Algebra & Number Theory. He will deliver an invited address at the 2018 International Congress of Mathematicians. 

Andrew Sutherland, MITAndrew Sutherland received his S.B. in mathematics from MIT in 1990. As an undergraduate, Sutherland cofounded the software company Escher Group, specializing in highperformance distributed computing, and after completing an NSF Graduate Fellowship at MIT, served as the company’s Chief Technology Officer for ten years. Sutherland returned to academia and completed his Ph.D. in mathematics at MIT in 2007, winning the George M. Sprowles Prize for his thesis. He joined the MIT mathematics department in 2009, and was promoted to Principal Research Scientist in 2012. Sutherland’s research focuses on computational number theory and arithmetic geometry, and he was awarded the Selfridge Prize in 2012, for his work in this area. He currently serves on the boards of Mathematics of Computation, the Lfunctions and Modular Forms Database, and the Number Theory Foundation. He is a managing editor of Research in Number Theory and current recordholder for the largest cloudbased research computation (580,000 cores). 

John Voight, Dartmouth CollegeJohn Voight is associate professor of mathematics at Dartmouth College. He received his Ph.D. in 2005 from the University of California, Berkeley, and has held positions at the University of Sydney, the Institute for Mathematics and its Applications (IMA) at the University of Minnesota, and the University of Vermont. Voight’s research interests are in arithmetic geometry and number theory, with a focus on algorithmic aspects. His current research concerns computational problems for moduli spaces and automorphic forms. He is the author of a textbook on quaternion algebras (under review) and received an NSF CAREER award. He was the recipient of the Selfridge Prize in 2010 and currently serves on the board for the Lfunctions and Modular Forms DataBase (LMFDB). 
Affiliated Scientists
Alex Best, Boston UniversityAlex Best is a graduate student at Boston University working with Jennifer Balakrishnan. Previously he worked on highly optimized computer arithmetic at TU Kaiserslautern. Before that, he obtained a masters from the University of Cambridge and a B.Sc. in Discrete Mathematics from the University of Warwick, where his interests in computational number theory first began. 

Alina Bucur, University of California at San DiegoAlina Bucur is an Associate Professor at 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, 20062009) and had visiting positions at the Institute for Advanced Studies (20062007 and 20092010) and MSRI (2011). Her research interests lie in the area of multiple Dirichlet series and arithmetic statistics. Her work combines techniques from analytic number theory, probability and arithmetic geometry and has been supported by two Simons Collaboration Grants. 

Edgar Costa, Dartmouth CollegeEdgar Costa is an Instructor in Applied and Computational Mathematics at Dartmouth College and will join the MIT team this summer. He received his Ph.D. in 2015 from the Courant Institute of Mathematical Sciences at New York University and was a Postdoctoral Fellow at the ICERM during the semester program “Computational Aspects of the Langlands Program.” 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. 

John Cremona, University of WarwickJohn 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. John 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. Since 2013, he has been PI on a major grant “LMF: Lfunctions and modular forms” from the UK EPSRC which has partfunded the computing infrastructure and workshops which underpin the LMFDB. 

Maarten Derickx, MITMaarten Derickx will join the team as a researcher at MIT in spring 2018. His 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. He has 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. 

Netan Dogra, Imperial College LondonNetan Dogra obtained his doctorate from the University of Oxford in 2015 and is a postdoc at Imperial College London. His main research interests are Diophantine Geometry and arithmetic fundamental groups. 

David Harvey, the University of New South WalesDavid Harvey is a Senior Lecturer 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 threeyear 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. 

Kiran Kedlaya, University of California, San DiegoKiran Kedlaya is the Stefan E. Warschawski Professor of Mathematics at University of California, San Diego. He received his PhD 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. Prof. 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 Lfunctions of algebraic varieties using padic analysis, and for tabulating isogeny classes of abelian varieties over finite fields. He is a frequent contributor to Sage and the LMFDB. 

Dohyeong Kim, University of MichiganDohyeong Kim will join the team in the summer 2018. He is interested in the Iwasawa theory, Diophantine equations, and the arithmetic ChernSimons theory. 

Steffen Müller, Unviersity of GroningenSteffen Müller is an assistant professor at the Unviersity of Groningen. He received his PhD 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 padic height functions to study rational points on curves and abelian varieties. 

David Roe, MITDavid Roe will join the team in February as a researcher at MIT. His study of padic computation includes work on computing Lfunctions of varieties, padic modular forms and methods for tracking precision. He is also interested in the local Langlands correspondence and padic 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. 

Joseph H. Silverman, Brown UniversityJoseph H. Silverman is a Professor of Mathematics at Brown University, where he has been on the faculty since 1988. He is a recipient of a Sloan Research Fellowship, a Guggenheim Fellowship, and an AMS Steele Prize. His primary research interests are elliptic curves, arithmetic geometry, arithmetic dynamics, and cryptography, and he has also written a number of the standard textbooks in these areas. 

Jan Vonk, McGill UniversityJan Vonk obtained his doctorate from the University of Oxford in 2015 and is currently a postdoctoral fellow in Montréal at McGill University. His work focuses on padic aspects of arithmetic geometry and their application to explicit class field theory of real quadratic number fields. His main research interests include padic methods for studying the arithmetic of higher genus curves, as well as related computational aspects, such as the explicit determination of rational points. 