Simon GuilloudExpertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
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
Giordano FaviExpertise
Research: Non associative Algebra, Category Theory, Triangulated Category Theory, Balmer-Witt Theory, Quadratic Forms in Characteristic 2, Galois Theory, Essential dimension, Tensor Triangular GeometryTeaching: Algebra (Associative, Linear, Commutative or not), Differential Calculus , Algebraic Geometry/Topology, etc.
Travail en cours
Teaching: My current work at EPFL is half time dedicated to teaching mathematics for 1st year students. It is very important to give satisfactory introductory cou
Mathieu HuruguenEnseignement et PhD Cours Algèbre linéaire (pour CMS) PREPA-001 Dans la première partie du cours on couvre des notions de langage ensembliste et de logique élémentaire. Dans la deuxième partie, le but est de familiariser les étudiants avec les notions fondamentales de l'algèbre linéaire à travers leur étude géométrique en dimension 2. Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) On présente les notions fondamentales de l'algèbre linéaire dans le contexte géométrique
Pascal FuaPascal Fua received an engineering degree from Ecole Polytechnique, Paris, in 1984 and the Ph.D. degree in Computer Science from the University of Orsay in 1989. He then worked at SRI International and INRIA Sophia-Antipolis as a Computer Scientist. He joined EPFL in 1996 where he is now a Professor in the School of Computer and Communication Science and heads the Computer Vision Laboratory. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and Augmented Reality. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and machine learning. He has (co)authored over 300 publications in refereed journals and conferences. He is an IEEE Fellow and has been an Associate Editor of IEEE journal Transactions for Pattern Analysis and Machine Intelligence. He often serves as program committee member, area chair, and program chair of major vision conferences and has cofounded three spinoff companies (Pix4D, PlayfulVision, and NeuralConcept).
Viktor KuncakViktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Jaime Gómez RamírezEducation Bachelor's degree in Mathematics | Thesis: Hausdorff measures and the Fourier transform 2017 – 2021 UAM Directed by Ana Vargas Rey Master's degree in Mathematics | Thesis: Stability of Faber-Krahn inequalities in time-frequency analysis 2021 – 2023 ETH Zürich Directed by João P.G. Ramos & Alessio Figalli
Awards ETH Medal for outstanding master's thesis ETH Zürich 2024
Berend SmitEnseignement et PhD Doctorant·es actuel·les Anastasia Blokhina, Raluca-Ana Kessler, Seyed Amirmohammad Elahi, Juliette Veronique Schleicher, Yutao Li, Xin Jin, Sara Bassetta, Beatriz Bueno Mouriño A dirigé les thèses EPFL de Samantha Lynn Anderson, Daniele Ongari, Andrzej Gladysiak, Seyedmohamad Moosavi, Arunraj Chidambaram, Bardiya Valizadeh, Stavroula Kampouri, Fatmah Ebrahim, Fatma Pelin Uran, Andres Adolfo Ortega Guerrero, Kevin Maik Jablonka, Elias Moubarak, Sauradeep Majumdar, Miriam Jasmin Pougin,
Philippe MüllhauptExpertise
Commande non linéaireThéorie de la commandeMécanique généraleSystèmes dynamiquesStatistique
Mission
Offrir une formation technique et scientifique rigoureuse en commande non linéaire, en mécanique classique et en théorie statistique
Travail en cours
Chercheur et enseignant dans les domaines de l'automatique, la statistique, les systèmes dyanmiques et la mécanique classique.
E MSc. et BSc. en génie électrique (EPFL, 1993) DEA en Automatique et Traitement du Signal (Paris VI, 1994) PhD en Automa
Henry MarkramEnseignement et PhD Doctorant·es actuel·les Davide Bella A dirigé les thèses EPFL de Tania Rinaldi, Jean-Vincent Le Bé, Michele Pignatelli, Thomas Berger, Luca Gambazzi, Rodrigo de Campos Perin, Imad Riachi, Muhammad Asif Jan, Rajnish Ranjan, Srikanth Ramaswamy, Georges Khazen, Vincent Delattre, Mônica Favre, Shruti Muralidhar, Michael Reimann, Jean Pierre Ghobril, Renaud Luc Richardet, Marwan Abdellah, Willem Wybo, Csaba Erö, Lida Kanari, Giuseppe Chindemi, Berat Denizdurduran, Max Nolte, Taylor Howard N
Boris BuffoniRechercheDomaines de recherche actuels https://sma.epfl.ch/~buffoni/home.html
Enseignement et PhD Cours Analyse II MATH-106(b) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieursvariables. Analyse fonctionnelle I MATH-302 Concepts de base de l'analyse fonctionnelle linéaire: opérateurs bornés, opérateurs compacts, théorie spectrale pour les opérateurs symétriques et compacts, le théorème de Hahn-Banach, les théo 