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
Aude BillardExpertise
Machine LearningRoboticsMechatronicsDynamical SystemsComputational Neuroscience
Enseignement et PhD Doctorant·es actuel·les Hanli Zhang, Maximilian Schmitz, Luyin Hu, Baiyu Peng, Erfan Etesami, Sthithpragya Gupta, Kuanqi Cai A dirigé les thèses EPFL de Eric Sauser, Sylvain Calinon, Micha Hersch, Florent Günter, Biljana Petreska von Ritter-Zahony, Basilio Noris, Elena Gribovskaya, Seyed Mohammad Khansari Zadeh, Seungsu Kim, Ashwini Shukla, Klas Jonas Alfred Kronander, Luka Lukic, Miao Li, Ravin L
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
Kathryn Hess BellwaldKathryn Hess Bellwald received her PhD from MIT in 1989 and held positions at the universities of Stockholm, Nice, and Toronto before moving to the EPFL.Her research focuses on algebraic topology and its applications, primarily in the life sciences, but also in materials science. She has published extensively on topics in pure algebraic topology including homotopy theory, operad theory, and algebraic K-theory. On the applied side, she has elaborated methods based on topological data analysis for high-throughput screening of nanoporous crystalline materials, classification and synthesis of neuron morphologies, and classification of neuronal network dynamics. She has also developed and applied innovative topological approaches to network theory, leading to a powerful, parameter-free mathematical framework relating the activity of a neural network to its underlying structure, both locally and globally.In 2016 she was elected to Swiss Academy of Engineering Sciences and was named a fellow of the American Mathematical Society and a distinguished speaker of the European Mathematical Society in 2017. In 2021 she gave an invited Public Lecture at the European Congress of Mathematicians. She has won several teaching prizes at EPFL, including the Crédit Suisse teaching prize and the Polysphère d’Or.
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
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
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.
Jérôme SchererEnseignement et PhD Doctorant·es actuel·les Virgile Simon Constantin A dirigé les thèses EPFL de Samuel Lavenir A co-dirigé les thèses EPFL de Kay Remo Werndli, Lyne Moser Cours Topology IV.a - Cohomology rings MATH-506 La cohomologie singulière vient de la dualisation du complexe des chaines singulières. Nous étudions ses propriétés, voyons comment elle acquiert une structure multiplicative, celle d'une algèbre graduée commutative. Une version algébrique, la cohomologie des groupes, est c
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.
Yves LeterrierYves Leterrier joined EPFL in 1993 and is a faculty member of the Materials Institute. He is a senior scientist and lecturer in the Laboratory for Processing of Advanced Composites (LPAC, previously Laboratory of Composite and Polymer Technology, LTC). Activities
2000-2005: Foundation and Chair of the Korea-Switzerland joint symposia on materials and micro-technologies2004-2008: Board member of FLEXIDIS (the European flexible display consortium) 2004-2009: Group leader on lightweight materials for Solar ImpulseSince 2008: Board member of the French Adhesion SocietySince 2000: President of the EPFL Materials Science Library commissionSince 2012: Editorial board member, Applied Surface ScienceSince 2014: Associate Editor, Frontiers in MaterialsSince 2021: Coordinator of the EPFL Minor on 'Engineering for Sustainability'
Background
1987: MS in materials science and solid state physics (INPL, France) 1991: PhD in materials science (Ecole des Mines, INPL, France) 1992: Research Associate, National Institute of Standards and Technology (NIST, USA)
Sylvain CalinonExpertise
robot learning, human-robot collaboration, optimal control, model-based optimization
I am a Senior Research Scientist at the Idiap Research Institute and a Lecturer at EPFL, with research interests covering robot learning, optimal control, geometrical approaches, and human-robot collaboration. My work focuses on human-centered robotics applications in which the robots can acquire new skills from only few demonstrations and interactions. It requires the development of models that can exploit the st
