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,
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
Giovanni De MicheliExpertise
Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques.
En savoir plus
Consulter svp http://si2.epfl.ch/~demichel/
Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth Samuel DubuisAprès des études de Mathématiques à l'EPFL, j'y ai poursuivi une thèse de doctorat chez le Prof. Marco Picasso. Naturellement attiré et motivé par l'enseignement, je me suis tourné vers le Cours de Mathématiques Spéciales où je travaille depuis 2020.Intérêts J'affectionne le travail en salle avec les élèves, en particulier l'accompagnement dans leurs apprentissages des mathématiques élémentaires, qui sont le socle des sciences et de l'ingénieurie.Parallèlement, je poursuis un peu de recherche dans le domai
Roger SauserEnseignement et PhD Cours Géométrie descriptive (pour MAN) PREPA-091 Le cours aborde les techniques des projections parallèles (axonométrie et représentation de Monge) et centrales (perspective) de manière à développer la capacité de l'étudiant.e à décrire et étudier des objets et des situations spatiales en les illustrant par des croquis. ICS (pour CMS) PREPA-026 Le cours présente différentes méthodes numériques destinées à la résolution d'équations non linéaires, au calcul
Anna LachowskaEnseignement et PhD Cours Algebra MATH-310 Le cours introduit les concepts de base de l'algèbre, notamment les groupes, les anneaux et les corps. Analyse I MATH-101(e) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Analyse II MATH-106(e) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieursvariables. Representation theory I
José Luis Zuleta EstrugoEnseignement et PhD Cours Algèbre linéaire MATH-111(g) L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications. Analyse II MATH-106(c) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieursvariables. Mathématiques I (pour SFU) UNIL-130 Le but de ce cours est d'introduire les notions mathématiques de base nécessaires à la poursuite des études dans le domaine
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.
Amir Roshan ZamirAmir Zamir is a Tenure-Track Assistant Professor of Computer Science at the Swiss Federal Institute of Technology in Lausanne (EPFL). Prior to EPFL, he spent time at Stanford, UC Berkeley, and UCF. His research interests are broadly in computer vision, machine learning, perception-for-robotics, and AI. He has been recognized with CVPR (2018) Best Paper Award, CVPR (2016) Best Student Paper Award, CVPR (2020) Best Paper Award Nomination, and NVIDIA Pioneering Research Award (2018), among others. His research has been covered by various press outlets, such as The New York Times or Forbes.
Afficher plus
