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 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.
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
Giulia MescoliniEducation BSc in Mathematical Engineering | 2017 – 2020 Politecnico di Milano MSc in Computational Science and Engineering | 2020 – 2023 Politecnico di Milano MSc in Computational Science and Engineering | 2021 – 2023 EPFL
Awards Dean’s Award for outstanding contributions to teaching School of Basic Sciences (SB) of EPFL 2025
Roland John TormeyI am a sociologist and learning scientist researching and teaching on engineering education. I'm particularly focused on the roles of emotion and self-regulation in engineering teaching and learning. My profile is accessible here.
Cécile HardebolleTravail en cours
Responsible information systems (https://go.epfl.ch/digitalethics), ethical skills Jupyter notebooks for education (https://go.epfl.ch/notebooks), digital skills, computational thinkingTransversal/professional skillsEngineering design skillsFlipped classrooms Project-based learning
Formation Doctorat | Informatique 2006 – 2008 Université Paris-Sud XI, France Dirigée par Prof. Guy Vidal-Naquet Diplôme d'Ingénieur | Génie Electrique, spécialisat Simone DeparisExpertise
Simone Deparis est professeur à l’EPFL, spécialisé en mathématiques appliquées, analyse numérique et didactique des mathématiques à l’université. Ses recherches portent à la fois sur la modélisation computationnelle pour les applications biomédicales et sur l’innovation pédagogique, avec un accent sur l’équité, l’auto-efficacité et la réforme de l’évaluation dans les grands cursus scientifiques.
Mission
Mes recherches portent sur les mathématiques appliquées et les sciences de l’apprentissage. En
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.
Michaël UnserExpertise
Image Processing Medical Imaging Biological Imaging Wavelets Splines Multiresolution
Enseignement et PhD Doctorant·es actuel·les Youssef Haouchat, Vincent Patrick Lawrence Guillemet, Bassam El Rawas, Stanislas Ducotterd, Mehrsa Pourya, Zhiyuan Hu A dirigé les thèses EPFL de Stefan Horbelt, Jan Kybic, Maria Arrate Munoz Barrutia, Manuela Feilner, Slavica Jonic, Mathews Jacob, Michael Liebling, Michael Sühling, Muthuvel Arigovindan, François Aguet, Cédric Vonesch, Ildar Khalidov, Sathish Ramani, F
