Maryna Viazovska

web page https://www.epfl.ch/labs/tn/ Teaching & PhD PhD Students Amal Seddas, Matthias Gröbner Past EPFL PhD Students Martin Peter Stoller, Gauthier Leterrier, Nihar Prakash Gargava Courses Discrete mathematics MATH-260(a) Study of structures and concepts that do not require the notion of continuity. Graph theory, or study of general countable sets are some of the areas that are covered by discrete mathematics. Emphasis will be laid on structures that the students will see again in their later studies. Formal Mathematics with Lean and AI CS-643 This graduate course provides an introduction to using Lean proof assistant to formalize mathematical definitions and theorems. We will have lectures on foundations (formal proofs, dependent type theory), learn about practice (proof tactics, use of AI, etc) and work on a formalization project. Methods in Quantum Error Correction CS-632 This course discusses mathematical methods of quantum error correction in the style via presentation and discussion of research papers. It covers basic algebraic and geometric properties of quantum error correcting codes and fault tolerance theory and prepares for research in this field. Number theory II.b - Modular forms MATH-511 In this course we will introduce core concepts of the theory of modular forms and consider several applications of this theory to combinatorics, harmonic analysis, and geometric optimization. Riemann surfaces MATH-410 This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex domains under discontinuous group actions, as algebraic curves. Awards Fields Medal International Mathematical Union 2022 European Mathematical Society Prize 2020 National Latsis Prize Latsis foundation 2020 Ruth Lyttle Satter Prize in Mathematics 2018 Fermat Prize 2019 Clay Research Award 2017