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
Mengdi WangEnseignement et PhD Cours Number theory II.a - The circle method MATH-345 Ce cours a pour but d'introduire les idées fondamentales de la méthode des cercles de Hardy-Littlewood.
Ethan Monaghan AckelsbergEnseignement et PhD Cours Measure theory MATH-303 Ce cours propose une introduction à la notion de mesure et d'intégrale contre une mesure dans un cadre général.
Oliver JanzerEnseignement et PhD Doctorant·es actuel·les Rik Sarkar Cours Algebraic methods in combinatorics MATH-526 Dans ce cours, nous étudions comment les méthodes algébriques peuvent être utilisées pour résoudre des problèmes de combinatoire. Les principaux outils utilisés proviennent de l'algèbre linéaire et de la théorie des polynômes. Graph theory MATH-360 Le cours introduit les concepts de base et certains résultats de la théorie moderne des graphes.
Aline ZanardiniEnseignement et PhD Cours Algebra V - Galois theory MATH-317 La théorie de Galois se situe à l'interface de la théorie des corps et de la théorie des groupes. Il vise à décrire les symétries algébriques des corps. Nous nous concentrerons sur la théorie de Galois pour les extensions de corps finis et certaines applications. Algebraic geometry I - Curves MATH-328 La géométrie algébrique est le langage commun à de nombreuses branches de la recherche moderne en mathématiques. Ce
Georgios MoschidisEnseignement et PhD Doctorant·es actuel·les Abraham Gabriel Dorsaz Cours Analysis IV (for EL, GM, MX) MATH-207(c) Ce cours est une introduction à la théorie de l'analyse complexe, aux séries et transformées de Fourier, à la transformée de Laplace, avec des applications à la théorie des équations différentielles ordinaires et partielles. Differential geometry I - curves and surfaces MATH-213 Ce cours constitue une introduction à la géométrie différentielle classique, qui ét
Leonid MoninEnseignement et PhD Cours Algebra III - rings and fields MATH-215 C'est un cours introductoire dans la théorie d'anneau et de corps. Analyse I (anglais) MATH-101(en) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Topology III - Homology MATH-323 L'homologie est l'un des outils les plus importants pour étudier les espaces topologiques et elle joue un rôle important dans de nombreux domaine
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 computationsCombinatorial scientific computingMathematical Software
Enseignement et PhD Doctorant·es actuel·les Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Cours Numerical analysis and computational mathematics MATH-456 Ce cours offre une introduction au calcul scienti
Thomas Georges Pierre VidickEnseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography
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 FinkEnseignement et PhD Doctorant·es actuel·les Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei A dirigé les thèses EPFL de Ismail Nejjar, Mengjie Zhao Cours Data Science for infrastructure condition monitoring CIVIL-332 Le cours couvrira les étapes pertinentes de la surveillance de l'état des infrastructures basée sur les données: l'acquisition des données, en passant p
Pablo FrancischelliEnseignement et PhD Cours Artistic practices: field studies, film practice I HUM-401 Ce cours, propose 2 options, en anglais et en français : 'Elsewhere Encounters' propose d'explorer différentes approches d'étude de terrain dans le monde artistique ; 'Réalisation' se penche sur les techniques cinématographiques et s'engage dans la réalisation d'un film court. Artistic practices: field studies, film practice II HUM-451 Ce cours, propose 2 options, en anglais et en français :
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 NegutEnseignement et PhD Doctorant·es actuel·les Archi Kaushik, Niccolò Giacomini, Paul Vögele Cours Algebra II - groups MATH-211 Nous étudierons la théorie des groupes, en mettant l'accent sur les actions des groupes et notions de la théorie des catégories. Algèbre linéaire (anglais) MATH-111(en) L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications. Representation Theory II - Lie groups and algebras MATH-429 Repres
Sergei GarmaevResearchPhysics-informed deep learning Operator learning, PINNs, dynamical systems modelingPredictive maintenance Estimation of health indicators, remaining useful life
