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.
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
Mathieu HuruguenEnseignement et PhD Cours Algèbre linéaire (pour CMS) PREPA-001 Dans la première partie du cours on couvre des notions de langage ensembliste et de logique élémentaire. Dans la deuxième partie, le but est de familiariser les étudiants avec les notions fondamentales de l'algèbre linéaire à travers leur étude géométrique en dimension 2. Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) On présente les notions fondamentales de l'algèbre linéaire dans le contexte géométrique
Guillaume Alexandre C OlikierExpertise
Optimisation continue, analyse numérique
Guillaume Olikier est chercheur postdoctoral (Instructeur Bernoulli) au sein de l'Institut de Mathématiques à l'EPFL. Il a obtenu un master d'ingénieur en mathématiques appliquées (2017) et un doctorat en sciences de l'ingénieur et technologie (2023) de l'UCLouvain, Louvain-la-Neuve, Belgique. De 2023 à 2025, il était chercheur postdoctoral (Starting Research Position) au centre Inria d'Université Côte d’Azur, Sophia Antipolis, France . Son principal domain
Berend SmitEnseignement et PhD Doctorant·es actuel·les Anastasia Blokhina, Raluca-Ana Kessler, Seyed Amirmohammad Elahi, Juliette Veronique Schleicher, Yutao Li, Xin Jin, Sara Bassetta, Beatriz Bueno Mouriño A dirigé les thèses EPFL de Samantha Lynn Anderson, Daniele Ongari, Andrzej Gladysiak, Seyedmohamad Moosavi, Arunraj Chidambaram, Bardiya Valizadeh, Stavroula Kampouri, Fatmah Ebrahim, Fatma Pelin Uran, Andres Adolfo Ortega Guerrero, Kevin Maik Jablonka, Elias Moubarak, Sauradeep Majumdar, Miriam Jasmin Pougin,
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
Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
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 Jan SkaloudExpertise
Satellite positioning, inertial and integrated navigation Sensor orientation and calibration, attitude determination Mobile mapping, airborne laser scanning Adjustment methods, Kalman Filtering
Mission
Teaching in 3 EPFL sections and 2 faculties, director of ESO lab.
Books / Monographs J. Skaloud and M. Cramer, «Data Capture,» in GIS Handbook, W. Kresse and D. Danko, Eds. Springer, 2011. D. Lichti and J. Skaloud, «Registration and Calibration,» in Airborne and terrestrial laser scanning, H.-G. Ma
Martin Alois RohrmeierEnseignement et PhD Doctorant·es actuel·les Joris Monnet, Marina Borsodi-Benson, Xinyi Guan, Xiaoxuan Wang, Zeng Ren A dirigé les thèses EPFL de Fabian Claude Moss, Daniel Harasim, Christoph Finkensiep, Johannes Hentschel, Gabriele Cecchetti, Shuxin Meng Cours Digital musicology DH-401 Ce cours a pour but de familiariser les étudiants avec les thèmes principaux en musicologie digitale, ainsi que les approches et méthodes théoriques essentielles. Dans la partie pratique, les étudiants feron
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.
Pierre VandergheynstPierre Vandergheynst received the M.S. degree in physics and the Ph.D. degree in mathematical physics from the Université catholique de Louvain, Louvain-la-Neuve, Belgium, in 1995 and 1998, respectively. From 1998 to 2001, he was a Postdoctoral Researcher with the Signal Processing Laboratory, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland. He was Assistant Professor at EPFL (2002-2007), where he is now a Full Professor of Electrical Engineering and, by courtesy, of Computer and Communication Sciences. As of 2015, Prof. Vandergheynst serves as EPFL’s Vice-Provost for Education. His research focuses on harmonic analysis, sparse approximations and mathematical data processing in general with applications covering signal, image and high dimensional data processing, computer vision, machine learning, data science and graph-based data processing. He was co-Editor-in-Chief of Signal Processing (2002-2006), Associate Editor of the IEEE Transactions on Signal Processing (2007-2011), the flagship journal of the signal processing community and currently serves as Associate Editor of Computer Vision and Image Understanding and SIAM Imaging Sciences. He has been on the Technical Committee of various conferences, serves on the steering committee of the SPARS workshop and was co-General Chairman of the EUSIPCO 2008 conference. Pierre Vandergheynst is the author or co-author of more than 70 journal papers, one monograph and several book chapters. He has received two IEEE best paper awards. Professor Vandergheynst is a laureate of the Apple 2007 ARTS award and of the 2009-2010 De Boelpaepe prize of the Royal Academy of Sciences of Belgium.
Mihai Adrian IonescuD'origine et de nationalités roumaine et suisse, Mihai-Adrian Ionescu est né en 1965. Après le doctorat en Physique des Composants à Semiconducteurs de lInstitut National Polytechnique de Grenoble, M. Ionescu a travaillé comme chercheur post-doctoral au LETI-CEA Grenoble, sur la caractérisation des diélectriques low-k pour les technologies submicroniques CMOS. Après une courte période au sein du CNRS, comme chargé de recherche 1ere Classe il a effectué un séjour post-doctoral au Center for Integrated Systems, Stanford University, USA. Actuellement il est Professeur Nanoélectronique à lEcole Polytechnique Fédérale de Lausanne.
