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
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
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,
Ahmed Mahdi BelkhodjaEnseignement et PhD Cours Théorie et critique du projet BA6 (fala) AR-302(av) Conception of collective housing within real-world constraints, through the problematized handling of a variety of modes of representation. Théorie et critique du projet MA2 (fala) AR-402(av) Conception of collective housing within real-world constraints, through the problematized handling of a variety of modes of representation.
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 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.
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.
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.
Olivier MartinOlivier J.F. Martin a obtenu le diplôme (M.Sc.) et le doctorat en physique de l'Ecole Polytechnique Fédérale de Lausanne (EPFL) en 1989, respectivement 1994. En 1989 il a rejoint le laboratoire de recherche d'IBM à Rüschlikon près de Zurich, où il a étudié les propriétés optiques et thermiques des lasers semiconducteur. Entre 1994 et 1997 il était collaborateur scientifique de l'Ecole Polytechnique Fédérale de Zurich (ETHZ). En 1997 il a reçu une bourse Profil du Fonds National Suisse de la Recherche Scientifique (FNSRS) lui permettant de mettre sur pied un groupe de recherche indépendant. Entre 1996 et 1999, Olivier Martin a passé plus d'une année et demi aux U.S.A. comme collaborateur invité de l'Université de Californie à San Diego. En 2001 il a reçu une bourse de professeur assistant du FNSRS et devint professeur de Nano-optique à l'ETHZ. En 2003 il a été nommé professeur de nanophotonique et de traitement optique du signal à l'EPFL où il dirige actuellement le laboratoire de Nanophotonique & Métrologie.
Afficher plus