Felipe Osiel Hernández CastroExpertise
My research interests lie mainly in Ergodic Theory, Arithmetic combinatorics, Ramsey Theory, and Multiplicative Number Theory.
Please visit my professional webpage for more information. Curriculum vitae CV
Teaching & PhDTeaching & PhD Teaching Assistant for the course Ergodic theory (Autumn semester 2023)Teaching Assistant for the course Discrete mathematics (Spring semester, 2024)Teaching Assistant for the course Measure and integration (Fall semester, 2024)Teaching Assistant for the course Disc
Konstantinos TsinasExpertise
Ergodic theory, Multiplicative number theory
Education PHD | 2020 – 2024 University of Crete
Teaching & PhD Courses Topics in multiplicative number theory MATH-674 The course covers topics in multiplicative number theory, such as classical theorems on mean -values of multiplicative functions and the more modern developments involving averages in short intervals, the Chowla conjecture and the local uniformity conjecture for the Liouville function.
Mengdi WangExpertise
Additive combinatorics and Multiplicative number theory
Teaching & PhD Courses Number theory II.a - The circle method MATH-345 This course aims to introduce the fundamental ideas behind the Hardy-Littlewood circle method.
Ethan Monaghan AckelsbergExpertise
Ergodic Theory, Arithmetic Combinatorics
Preprints on arXiv
https://arxiv.org/a/ackelsberg_e_1.html
Curriculum vitae CV Education Mathematics | 2016 – 2022 Ohio State University Professionals experiences Postdoctoral member 2022–2023 Institute for Advanced Study
Teaching & PhD Courses Measure theory MATH-303 This course provides an introduction to the theory of measures and integration on abstract measure spaces. Oliver JanzerTeaching & PhD PhD Students Rik Sarkar Courses Algebraic methods in combinatorics MATH-526 In this course we study how algebraic methods can be used to solve problems in combinatorics. The main tools used are from linear algebra and from the theory of polynomials. Graph theory MATH-360 The course aims to introduce the basic concepts and results of modern Graph Theory.
Awards European Prize in Combinatorics 2025 British Combinatorial Committee PhD Prize 2022 Smith-Knight
Aline ZanardiniTeaching & PhD Courses Advanced linear algebra I MATH-110(b) The purpose of this course is to introduce the basic notions of linear algebra and to prove the main results of the subject. Algebra V - Galois theory MATH-317 Galois theory lies at the interface of Field Theory and Group Theory. It aims to describe the algebraic symmetries of fields. We will focus on Galois theory for finite field extensions and some applications. Algebraic geometry I - Curves MATH-328
Georgios MoschidisTeaching & PhD PhD Students Abraham Gabriel Dorsaz Courses Analysis IV (for EL, GM, MX) MATH-207(c) This course serves as an introduction to the theory of complex analysis, Fourier series and Fourier transforms, the Laplace transform, with applications to the theory of ordinary and partial differential equations. These tools play an integral role in most branches of science and engineering. Differential geometry I - curves and surfaces MATH-213 This course serves as an intr
Leonid MoninTeaching & PhD Courses Algebra III - rings and fields MATH-215 This is an introductory course in ring and field theory. Analysis I (English) MATH-101(en) We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable. Topology III - Homology MATH-323 Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is
Martin HairerTeaching & PhD PhD Students Colin Piernot, Wenhao Zhao, Declan Rellan Stacy Courses Advanced stochastic analysis MATH-525 This course will give you in-depth knowledge in some topics of modern stochastic analysis. We will start with a general introduction to Gaussian measure theory followed by an introduction to Malliavin calculus and a selection of advanced topics.
Awards Fermat Prize Institut de Mathématiques de Toulouse 2013 Fields Medal IMU 2014 Honorary doctorate in science Hong Kong
Laura GrigoriExpertise
Numerical linear algebra, deterministic and randomized algorithmsHigh performance computing for scientific applicationsHigh dimensional problems and tensor computationsApplications in astrophysics, molecular simulations, etcCombinatorial scientific computingMathematical Software
Teaching & PhD PhD Students Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Courses Numerical analysis and computational mathematics MATH-456 The cou
Thomas Georges Pierre VidickTeaching & PhD PhD Students Itammar Steinberg, Aviv Taller Courses 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. Introduction to quantum computation CS-308 The course introduces the para
Simon HolzerHi, I am Simon Holzer. I received my B.Sc. and M.Sc. degrees in mechanical engineering with a focus on microtechnology from the Swiss Federal Institute of Technology Zurich (ETHZ) in 2020 and 2022, respectively. I am currently working towards Ph.D. in the Integrated Actuators Laboratory (LAI) at EPFL in Neuchâtel, Switzerland. My research interests lie in the field of soft robotics, artificial muscles, and biomechanics.
Olga FinkTeaching & PhD PhD Students Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei Past EPFL PhD Students Ismail Nejjar, Mengjie Zhao Courses Data Science for infrastructure condition monitoring CIVIL-332 The course will cover the relevant steps of data-driven infrastructure condition monitoring, starting from data acquisition, going through the steps pre-processing of real
Pablo FrancischelliTeaching & PhD Courses Artistic practices: field studies, film practice I HUM-401 This course consists in two options, in english and in french: 'Elsewhere Encounters' will explore different approaches of field studies from within the field of artistic practices ; 'Film' addresses cinematographic techniques and will produce a short film. Artistic practices: field studies, film practice II HUM-451 This course consists in two options, in english and in french: 'Elsewhere Encoun
Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Alessandro ChiesaAlessandro Chiesa is a faculty member in computer science. He conducts research in complexity theory, cryptography, and security, with a focus on the theoretical foundations and practical implementations of cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was included in MIT Technology Review's "35 Innovators Under 35" list in 2018.
Andrei NegutTeaching & PhD PhD Students Archi Kaushik, Niccolò Giacomini, Paul Vögele Courses Algebra II - groups MATH-211 This course deals with group theory, with particular emphasis on group actions and notions of category theory. Linear algebra (english) MATH-111(en) The purpose of the course is to introduce the basic notions of linear algebra and its applications. Representation Theory II - Lie groups and algebras MATH-429 This is a standard course on Lie groups, L
Sergei GarmaevResearchPhysics-informed deep learning Operator learning, PINNs, dynamical systems modelingPredictive maintenance Estimation of health indicators, remaining useful life