Keith Ball

University of Warwick, UK

Survey lecture on convex analysis and its connections to other areas of mathematics

Jointly in sections 8, 10, 12, 13

Keith Ball is a professor at the University of Warwick. His interests are in high-dimensional and discrete geometry, information theory and (more recently) analytic number theory. He was scientific director of the International Centre for Mathematical Sciences in Edinburgh from 2010 to 2014 and holds honorary professorships from the University of Edinburgh and Heriot-Watt University.

Towards the end of his tenure at ICMS he was chair of ERCOM, the umbrella organisation for European mathematics research centres.

He is a Fellow of the Royal Society of London and the Royal Society of Edinburgh and was on the governing council of the Royal Society during 2018-2019.

Among other things his research demonstrated that the central limit theorem of probability is driven by an analogue of the second law of thermodynamics: namely, that entropy increases along the central limit process. He is also known for a popular book on mathematics entitled «Strange Curves, Counting Rabbits...»

Nikhil Bansal

University of Michigan, USA

Survey lecture on discrepancy theory and related algorithms

Jointly in sections 14, 16, 18

Nikhil Bansal is the Patrick C. Fischer professor of Computer Science and Engineering at the University of Michigan, Ann Arbor. He completed his PhD from Carnegie Mellon University in 2003 and has previously worked at IBM Research, TU Eindhoven and CWI Amsterdam. He is broadly interested in theoretical computer science with focus on the design and analysis of algorithms, discrete mathematics and combinatorial optimization. Some of his notable works include understanding the algorithmic aspects of discrepancy and algorithms for the k-server problem.

Georges Gonthier

Inria - Saclay Île de France, France

Lecture on the state of the art of computer‑assisted proofs

Sections: 1, 14

Georges Gonthier is a researcher at Inria — Saclay Île de France.

Peter Hintz

ETH Zürich, Switzerland

Survey lecture on recent progress in general relativity

Joint lecture with Gustav Holzegel

Sections: 5, 10, 11

Peter Hintz is a Professor of Mathematics and Physics at the Department of Mathematics at ETH Zürich. His research focuses on partial differential equations arising in the theory of general relativity. In particular, he is known for his proof, joint with András Vasy, of the global nonlinear stability of rotating Kerr-de Sitter black holes. His awards include a Clay Research Fellowship and a Sloan Research Fellowship. His research has also been featured in popular science media including Quanta Magazine, Live Science, and New Scientist.

Gustav Holzegel

University of Münster, Germany

Survey lecture on recent progress in general relativity

Joint lecture with Peter Hintz

Sections: 5, 10, 11

Gustav Holzegel is a member of the Institute of Mathematics in Muenster (Germany), where he holds a Humboldt Professorship. He is also affiliated with

Imperial College London, where he has been a member of staff since 2012. Holzegel’s main interests are the partial differential equations of general relativity.

He is mainly known for his work on black holes and spacetimes with a negative cosmological constant.

His notable distinctions include an ERC Consolidator Grant (2017) and the Whitehead Prize (2016).

Bruce Kleiner

NYU, USA

Developments in 3-d Ricci flow since Perelman

Sections: 5, 6, 8, 10

Bruce Kleiner is a Silver Professor of mathematics as well as the chair of the mathematics department at the Courant Institute of Mathematical Sciences at New York University. His interests include geometric analysis (especially geometric flows), analysis on metric spaces, and geometric group theory. He has given an invited sectional lecture at the 2006 ICM and invited plenary lectures at the annual meeting of the AMS and the International Congress of Mathematical Physics. He received the National Academy of Sciences Award for Scientific Reviewing and has been a Clay Institute Scholar and a Sloan fellow.

Yann LeCun

Facebook AI Research and Courant Institute of Mathematical Sciences, New York University, USA

Lecture on some of the mathematical questions raised by deep learning

Sections: 14, 17, 18

Yann LeCun is VP & Chief AI Scientist at Facebook and Silver Professor at NYU affiliated with the Courant Institute of Mathematical Sciences & the Center for Data Science.

He was the founding Director of Facebook AI Research and of the NYU Center for Data Science. He received an Engineering Diploma from ESIEE (Paris) and a PhD from Sorbonne Université.

After a postdoc in Toronto he joined AT&T Bell Labs in 1988, and AT&T Labs in 1996 as Head of Image Processing Research.

He joined NYU as a professor in 2003 and Facebook in 2013. His interests include AI machine learning, computer perception, robotics and computational neuroscience.

He is the recipient of the 2018 ACM Turing Award (with Geoffrey Hinton and Yoshua Bengio) for «conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing», a member of the National Academy of Engineering and a Chevalier de la Légion d’Honneur.

Marc Levine

The University of Duisburg-Essen, Germany

Survey lecture on motivic cohomology

Sections: 2, 3, 4, 6

Marc Levine was born in Detroit, Michigan.

He is a Senior Professor in the Faculty of Mathematics at the University of Duisburg-Essen.

He works in algebraic geometry and algebraic topology, specialising in motivic cohomology, algebraic K-theory, algebraic cobordism, motives and motivic homotopy theory, with an interest in applications to basic problems in algebraic geometry and arithmetics.

He is a member of the Leopoldina-German National Academy of Science and the Academia Europaea, and is a recipient of the Wolfgang Paul Award (2001) and the Senior Berwick Prize (2018). He also held a Humboldt Professorship at the University of Duisburg-Essen (2009-2014).

Huijia (Rachel) Lin

University of Washington, USA

Lecture on obfuscation schemes

Joint lecture with Amit Sahai

Sections: 1, 2, 14

Huijia (Rachel) Lin is an Associate Professor in the Paul G. Allen School of Computer Science and Engineering at the University of Washington, where she co-leads the Cryptography Lab. Before joining the University of Washington, she was an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara.

Earlier, she obtained a PhD in Computer Science from Cornell University, and was a postdoctoral researcher at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) and Department of Computer Science at Boston University.

Her research interests are in Cryptography, and broadly its interplay with theory of computer science and security. She is known for her works on program obfuscation, functional encryption, secure multiparty computation, non-malleability and concurrent security. She is a recipient of a US National Science Foundation CAREER award, a Hellman Fellowship, a JP Morgan Faculty award, and a Microsoft Research PhD Fellowship.

She has won a best paper award honorable mention at Eurocrypt 2016, a best paper award at Eurocrypt 2018, and a best paper award at STOC 2021. Her papers have been many times invited to special issues of journals for selected papers at cryptography and theory of computing conferences, and covered by media such as the Quanta Magazine and Forbes.

Elchanan Mossel

MIT, USA

Survey lecture on combinatorial statistics and its role in the sciences

Sections: 12, 13, 14, 18

Elchanan Mossel is a Professor of Mathematics at the Massachusetts Institute of Technology. His research spans a number of topics across probability, statistics, economics, computer science, and mathematical biology.

He is known for his work in discrete Fourier analysis and its applications to computational complexity and social choice theory and for his research of information flow in biological, economic, and inferential networks.

Mossel held a Sloan Fellowship. He is a fellow of the American Mathematical Society, a Simons Fellow and a Vannevar Bush Fellow.

Amit Sahai

Amit Sahai is a Fellow of the ACM (2018) and a Fellow of the IACR (2019). He is also a Fellow of the Royal Society of Arts (2021), and Advisor to the Prison Mathematics Project. He is the incumbent of the Symantec Endowed Chair in Computer Science. He received his Ph.D. in Computer Science from MIT in 2000. From 2000 to 2004, he was on the faculty at Princeton University; in 2004 he joined UCLA, where he currently holds the position of Professor of Computer Science. He serves as an editor of J. Cryptology (Springer-Nature). His research interests are in security and cryptography, and theoretical computer science more broadly. He is the co-inventor of Attribute-Based Encryption, Functional Encryption, and Indistinguishability Obfuscation. He has published more than 150 original technical research papers at venues such as the ACM Symposium on Theory of Computing (STOC), CRYPTO, and the Journal of the ACM. He has given a number of invited talks at institutions such as MIT, Stanford, and Berkeley, including the 2004 Distinguished Cryptographer Lecture Series at NTT Labs, Japan. Professor Sahai is the recipient of numerous honors; he was named an Alfred P. Sloan Foundation Research Fellow in 2002, received an Okawa Research Grant Award in 2007, a Xerox Foundation Faculty Award in 2010, a Google Faculty Research Award in 2010, a 2012 Pazy Memorial Award, a 2016 ACM CCS Test of Time Award, a 2019 AWS Machine Learning Research Award, and a 2020 IACR Test of Time Award (Eurocrypt). For his teaching, he was given the 2016 Lockheed Martin Excellence in Teaching Award from the Samueli School of Engineering at UCLA. His research has been covered by several news agencies including the BBC World Service, Quanta Magazine, Wired, and IEEE Spectrum.

Richard Schwartz

Brown University, USA

Survey lecture on billiards

Sections: 5, 9, 11

Richard Schwartz is the Chancellor’s Professor of Mathematics in the Department of Mathematics at Brown University. His research interests lie in geometry and dynamical systems, especially in the computer-assisted exploration of these topics. In particular, he is known for the proof of quasi-isometric rigidity of rank one lattices, the proof of the Goldman-Parker Conjecture about complex hyperbolic ideal triangle groups, the solution of the Moser-Neumann problem about unbounded orbits of outer billiards, and the solution of Thomson’s 5-electron problem. He was an Invited Speaker at the 2002 International Congress of Mathematicians inBeijing, and has held Sloan, Guggenheim, Clay, and Simons Fellowships. Hisresearch has long been supported by the U.S. National Science Foundation.

His other interests include computer programming, writing children’s books, cycling, yoga, tennis, weight-lifting, and spending time with his family.

David Silver

Google DeepMind, UK

Lecture on recent breakthroughs in reinforcement learning

Sections: 14, 17

David Silver is a distinguished research scientist at DeepMind and a professor at University College London.

David’s work focuses on artificially intelligent agents based on reinforcement learning. David co-led the project that combined deep learning and reinforcement learning to play Atari games directly from pixels (Nature 2015).

He also led the AlphaGo project, culminating in the first program to defeat a top professional player in the full-size game of Go (Nature 2016), and the AlphaZero project, which learned by itself to defeat the world’s strongest chess, shogi and Go programs (Nature 2017, Science 2018).

Most recently he co-led the AlphaStar project, which led to the world’s first grandmaster level StarCraft player (Nature 2019).

His work has been recognised by the Marvin Minsky award, Mensa Foundation Prize, and Royal Academy of Engineering Silver Medal.

Joseph H. Silverman

Brown University, USA

Survey lecture on arithmetic dynamics

Sections: 3, 9

Joseph H. Silverman is a Professor of Mathematics at Brown University.

His interests include elliptic curves, arithmetic geometry, arithmetic dynamics, and cryptography.

In particular, he is known for his numerous books on these subjects, and for being one of the founders of the field of arithmetic dynamics, a subject in which number theory and dynamical systems on algebraic varieties are intertwined. He is also a co-inventor, with Jeffrey Hoffstein and Jill Pipher, of NTRU, the first practical lattice-based public key cryptosystem.

He is a Fellow of the American Mathematical Society and a recipient of the AMS Steele prize.

Bernd Sturmfels

MPI Leipzig/ UC Berkeley, Germany/ USA

Survey lecture on applied / computational algebra

Sections: 2, 13, 14

Bernd Sturmfels is a leading experimentalist among mathematicians.

He is well-known for his contributions to computational algebraic geometry, commutative algebra, geometric combinatorics, and their applications, notably in statistics, optimization, and the lifesciences. He has authored 11 books and 270 research articles.

Sturmfels received doctoral degrees in 1987 from the University of Washingtonand the Technical University Darmstadt, and an honorary doctorate in 2015 from the Goethe University Frankfurt. He joined UC Berkeley in 1995, where he is a Professor of Mathematics, Statistics and Computer Science. In 2017 he moved to the Max-Planck Institute for Mathematics in the Sciences in Leipzig, where he is a director and the head of the Nonlinear Algebra department. He is also affiliated with the Technical University Berlin and Leipzig University. Hishonors include a David and Lucile Packard Fellowship, a Humboldt Senior Research Prize, the SIAM von Neumann Lecturership, and the George David Birkhoff Prize in Applied Mathematics. He is a fellow of AMS and SIAM,and a member of the Berlin-Brandenburg Academy of Sciences.

Sturmfels is passionate about promoting outward-looking mathematics and the inclusion of talents from all backgrounds. Among his 60 doctoral students and countless postdocs, many are female. He firmly believes in excellence through diversity, and the axioms laid out by Federico Ardila.

Eric Vanden-Eijnden

Courant Institute of Mathematical Sciences/NYU, USA

Lecture on the computational aspects of statistical mechanics

Sections: 11, 12, 15, 18

Eric Vanden-Eijnden is a Professor of Mathematics at the Courant Institute of Mathematical Sciences,New York University. His research focuses on the mathematical and computational aspects of statistical mechanics, with applications to complex dynamical systems arising in molecular dynamics, materials science, atmosphere-ocean science, fluid dynamics, and neural networks. He is also interested in the mathematical foundations of machine learning (ML) and the applications of ML in scientific computing. He is known for the development and analysis of multiscale numerical methods for systems whose dynamics span a wide range of spatio-temporal scales. He is the winner of the Germund Dahlquist Prize and the J.D. Crawford Prize,and a recipient of the Vannevar Bush Faculty Fellowship.

Melanie Matchett Wood

Harvard University, USA

Interactions between number theory and random structures

Sections: 3, 12, 13

Melanie Matchett Wood is a professor of mathematics at Harvard University and a Radcliffe Alumnae Professor at the Radcliffe Institute for Advanced Study.

Her work spans number theory, algebraic geometry, algebraic topology, additive combinatorics, and probability. In particular,she studies the distribution of number fields and function fields and their fundamental structures, including class groups and the Galois groups of their maximal unramified extensions. In part to understand these distributions, she studies the probability theory of random abelian and non-abelian groups,which also has applications to other randomly arising groups, such as the Jacobians of random graphs and cokernels of random matrices.

She has received a Packard Fellowship for Science and Engineering, the AWM-Microsoft Research Prize in Algebra and Number Theory,an American Institute of Mathematics Five-Year Fellowship, and is a Fellow of the American Mathematical Society.

Tue Dec 28 2021 11:53:17 GMT+0300 (Moscow Standard Time)