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
Dimitri Stelio WyssEnseignement et PhD Doctorant·es actuel·les Elsa Maneval, Mathis Duguin A dirigé les thèses EPFL de Tanguy Vernet, Ilaria Rossinelli Cours Algèbre I - structures fondamentales MATH-113 Le but de ce cours est d'introduire et d'étudier les notions de base de l'algèbre abstraite. Quantum Cohomology MATH-747 Student seminar in pure mathematics MATH-563 L'objectif du séminaire est d'aborder les principaux aspects de la théorie des corps de classes, qui vise à com
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
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.
Jan Sickmann HesthavenProf. Hesthaven received an M.Sc. in computational physics from the Technical University of Denmark (DTU) in August 1991. During the studies, the last 6 months of 1989 was spend at JET, the european fusion laboratory in Culham, UK. Following graduation, he was awarded a 3 year fellowship to begin work towards a Ph.D. at Riso National Laboratory in the Department of Optics and Fluid Dynamics. During the 3 years of study, the academic year of 1993-1994 was spend in the Division of Applied Mathematics at Brown University and three 3 months during the summer of 1994 in Department of Mathematics and Statistics at University of New Mexico. In August 1995, he recieved a Ph.D. in Numerical Analysis from the Institute of Mathematical Modelling (DTU). Following graduation in August 1995, he was awarded an NSF Postdoctoral Fellowship in Advanced Scientific Computing and was approinted Visiting Assistant Professor in the Division of Applied Mathematics at Brown University. In December of 1996, he was appointed consultant to the Institute of Computer Applications in Science and Engineering(ICASE) at NASA Langley Research Center (NASA LaRC). As of July 1999, he was appointed Assistant Professor of Applied Mathematics, in September 2000 he was awarded an Alfred P. Sloan Fellowship, as of July 2001 he was awarded a Manning Assistant Professorship, and in March 2002, he was awarded an NSF Career Award. In January 2003, he was promoted to Associate Professor of Applied Mathematics with tenure and in May 2004 he was awarded Philip J. Bray Award for Excellence in Teaching in the Sciences (the highest award given for teaching excellence in all sciences at Brown University). He was promoted to Professor of Applied Mathematics as of July 2005. From October 2006 to June 2013, he was the Founding Director of the Center for Computation and Visualization (CCV) at Brown University. As of October 2007, he holds the (honorary) title of Professor (Adjunct) at the Technical University of Denmark. In November 2009, he successfully defended his dr.techn thesis at the Technical University of Denmark and was rewarded the degree of Doctor Technices -- the highest academic distinction awarded based on ... substantial and lasting contributions that has helped to move the research area forward and penetrated into applications. As grant Co-PI he served from Aug 2010 to June 2013 as Deputy Director of the Institute of Computational and Experimental Research in Mathematics (ICERM), the newest NSF Mathematical Sciences Research Institute. After having spend his entire academic career at Brown University, Prof Hesthaven decided to pursue new challenges and joined the Mathematics Institute of Computational Science and Engineering (MATHICSE) at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland in July 2013. In March 2014 he was elected SIAM Fellow for contributions to high-order methods for partial differential equations.
Frédéric MilaEnseignement et PhD Doctorant·es actuel·les Afonso Dos Santos Rufino, Mohamed Zakaria Jouini, Tianyue Huang A dirigé les thèses EPFL de Thomas Gloor, François Vernay, Cédric Weber, Julien Dorier, Julien Sudan, Tamás András Tóth, Tommaso Coletta, Frédéric Alexis Michaud, Jérôme Dufour, Natalia Chepiga, Laurent Pagnier, Francisco Hyunkyu Kim, Melvyn Sandy Tyloo, Samuel Gozel, Jeanne Colbois, Ivo Aguiar Maceira, Mithilesh Nayak, Samuel Louis Nyckees, Keita Omiya A co-dirigé les thèses EPFL de Alex Kruchkov,
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
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
Mohammad Amin ShokrollahiAmin Shokrollahi has worked on a variety of topics, including coding theory, computational number theory and algebra, and computational/algebraic complexity theory. He is best known for his work on iterative decoding algorithms of graph based codes, an area in which he holds a number of granted and pending patents. He is the co-inventor of Tornado codes, and the inventor of Raptor codes. His codes have been standardized and successfully deployed in practical areas dealing with data transmission over lossy networks.
Prior to joining EPFL, Amin Shokrollahi has held positions as the chief scientist of Digital Fountain, member of the technical staff at Bell Laboratories, senior researcher at the International Computer Science Insitute in Berkeley, and assistant professor at the department of computer science of the university of Bonn. He is a Fellow of the IEEE, and he was awarded the Best Paper Award of the IEEE IT Society in 2002 for his work on iterative decoding of LDPC code, the IEEE Eric Sumner Award in 2007 for the development of Fountain Codes, and the joint Communication Society/Information Theory Society best paper award of 2007 for his paper on Raptor Codes.
Clément HonglerMission
Quelques projets-clés:--La recherche de connexions entre la mécanique statistique et la théorie quantique des champs--Les réseaux de neurones, leur dynamique et leurs applications.--La vie artificielle, en particulier l'étude des automates cellulaires continus.--Les systèmes décentralisés.
2003-2006: BSc. EPFL, mathématiques2006-2008: MSc. EPFL, mathématiques2008-2010: Doctorat, Unige, mathématiques2010-2014: Ritt Assistant Professor, Columbia2014-2018: Professeur Assistant Tenure-Track, EPFL2019-pr
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.
Athanasios NenesEnseignement et PhD Doctorant·es actuel·les Berkay Dönmez, Ernest Abboud A dirigé les thèses EPFL de Paraskevi Georgakaki, Lucile Ricard Cours Atmospheric processes: from cloud to global scales ENV-407 L'objectif principal est de voir les processus atmosphériques les plus importants de l'échelle locale à l'échelle globale. Le cours démarrera avec les processus nuageux, continuera avec les phénomènes synoptiques comme les cyclones extratropicaux et fronts, pour finir par la modélisation num
