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.
Johanni Michael BreaEnseignement et PhD Doctorant·es actuel·les Aude Maier, Lucas Louis Gruaz, Flavio Martinelli Cours Biological data science II : machine learning BIO-322 Les étudiants comprennent les concepts et méthodes de base d'apprentissage automatique. Ils savent les décrire en termes mathématiques et ils savent les appliquer aux données en utilisant un langage de haut niveau (julia/python/R). Intelligence artificielle et société HUM-286 Ce cours intègre les SHS avec les sciences de l'
Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Florian Karl RichterCurriculum vitae You can download my CV here
ResearchResearch Fields Ergodic Theory, Combinatorics, Number TheoryList of Publications Open-access preprints and e-prints of all my publications are freely available on arXiv ↗ .An inverse theorem for sumsets of sets of positive density in the integersEthan Ackelsberg, Florian K. Richter submitted, 117 pageslink ↗Weighted averages of arithmetic functions and applications to equidistributionVitaly Bergelson, Michael Reilly, Florian K. Richter submitted, 29 page
Thomas Georges Pierre VidickEnseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography
Simon BossoneyEnseignement et PhD Cours 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 qui les a vues émerger. L'accent est donc mis principalement sur les dimensions 2 et 3, et en particulier sur la visualisation des objets et des opérations classiques dans le plan et l'espace. Analyse I (pour CMS) PREPA-003(a) Ce cours du premier semestre vise à établir les bases du calcul différentiel. Ana
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.
Ahmed Wael Kamaleldin Saleh IsmailEnseignement et PhD Cours Géométrie pour architectes I MATH-124 Ce cours entend exposer les fondements de la géométrie à un triple titre :1/ de technique mathématique essentielle au processus de conception du projet,2/ d'objet privilégié des logiciels de conception paramétrique 3/ de composante à part entière de l'histoire de la culture architecturale. Géométrie pour architectes II MATH-126 Ce cours traite des 3 sujets suivants : la perspective, la géométrie descriptive, et u
Harm-Anton KlokExpertise
Polymer design at nanoscaleBiologically-inspired polymers
Enseignement et PhD Doctorant·es actuel·les Nicola Carrara, Berlind Vosberg, Maja Lopandic, Sneha Cheriyamparambil, Thanh Thi Hà Lê, Suqiu Jiang, Adam William Woodhouse, Kunita Numabe A dirigé les thèses EPFL de Stefano Tugulu, Markus Scholl, Harald Nuhn, Nadja Franz, Raphaël Barbey, Bojana Portmann, Maarten Danial, Dusko Paripovic, Sanhao Ji, Nicolas Bertrand Schüwer, Zuzana Kadlecova, Görçin Görkem Sahin Kurtuldu, Caroline Sugnaux, Sole
Nicolas MacrisNicolas Macris received the PhD degree in theoretical physics from EPFL and then pursued his scientific activity at the mathematics department of Rutgers University (NJ, USA). He then joined the Faculty of Basic Science of EPFL, working in the field of quantum statistical mechanics and mathematical aspects of the quantum Hall effect. Since 2005 he is with the Communication Theories Laboratory and Information Processing group of the School of Communication and Computer Science and currently works at the interface of statistical mechanics, information theory and error correcting codes, inference and learning theory. He held long-term visiting appointments and collaborations with the University College and the Institute of Advanced studies in Dublin, the Ecole Normale Supérieure de Lyon, the Centre de Physique Theorique Luminy Marseille, Paris XI Orsay, the ETH Zürich and more recently Los Alamos National Lab. CV and publication list.
Hubert GiraultEducation: 1979 - Engineering diploma from Grenoble Institute of Technology. FRANCE. 1982 - PhD- Department of Chemistry, University of Southampton. Thesis entitled : Interfacial studies using drop image processing techniques. Positions : 1982 - 1984 SERC Research Fellow. University of Southampton. 1984 - 1985 CNRS Research Fellow. University of Southampton. 1985 - 1992 Lecturer in Physical Chemistry, University of Edinburgh. 1992 - Professor of Physical Chemistry, Ecole Polytechnique Fédérale de Lausanne. 2011 - 2014 Dean of Bachelor and Master studies Hubert Girault is the author of 2 textbooks, the co-author of about 600 scientific publications with more than 20'000 citations and the co-inventor of more than 15 patents. During his academic career, he has supervised 70 PhD students. 30 alumni of his laboratory are now Professors. Honours: Faraday medal 2006, Royal Society of Chemistry, Fellow of the International Society of Electrochemistry 2007, Reilley Award 2015. Fellow of the Electrochemical Society (USA), Shikata International medal, Polarography Society of Japan. Associate editor of Chemical Science
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
Wulfram GerstnerWulfram Gerstner is Director of the Laboratory of Computational Neuroscience LCN at the EPFL. His research in computational neuroscience concentrates on models of spiking neurons and spike-timing dependent plasticity, on the problem of neuronal coding in single neurons and populations, as well as on the link between biologically plausible learning rules and behavioral manifestations of learning. He teaches courses for Physicists, Computer Scientists, Mathematicians, and Life Scientists at the EPFL. After studies of Physics in Tübingen and at the Ludwig-Maximilians-University Munich (Master 1989), Wulfram Gerstner spent a year as a visiting researcher in Berkeley. He received his PhD in theoretical physics from the Technical University Munich in 1993 with a thesis on associative memory and dynamics in networks of spiking neurons. After short postdoctoral stays at Brandeis University and the Technical University of Munich, he joined the EPFL in 1996 as assistant professor. Promoted to Associate Professor with tenure in February 2001, he is since August 2006 a full professor with double appointment in the School of Computer and Communication Sciences and the School of Life Sciences. Wulfram Gerstner has been invited speaker at numerous international conferences and workshops. He has served on the editorial board of the Journal of Neuroscience, Network: Computation in Neural Systems', Journal of Computational Neuroscience', and `Science'.
Mika Tapani GöösEnseignement et PhD Doctorant·es actuel·les Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan A dirigé les thèses EPFL de Maystre Gilbert Théodore Cours Computational complexity CS-524 En théorie de la complexité, nous étudions les ressources nécessaires à résoudre des problèmes et les relations entre différents modèles de calcul.Ce cours donne une meilleure connaissance de la complexité informatique et aborde les questions ouvertes fondamentales.
Yves BellouardExpertise
Dr. Yves Bellouard is Associate Professor in Microengineering at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland, where he heads the Galatea lab and the Richemont Chair in Multi-Scale Manufacturing Technologies. Before joining EPFL in 2015, he was Associate Professor at Eindhoven University of Technologies (TU/e) in the Netherlands and prior to that, Research Scientist at Rensselaer Polytechnic Institute (RPI) in Troy, New York for four years.His current research interests are in a
Denis GilletDenis Gillet received the Diploma in Electrical Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1988, and the Ph.D. degree in Information Systems also from the EPFL in 1995. During 1992 he was appointed as Research Fellow at the Information Systems Laboratory of Stanford University in the United States. He is currently Maître d'enseignement et de recherche at the EPFL School of Engineering, where he leads the React research group. His current research interests include Technologies Enhanced Learning (TEL), Human Computer Interaction (HCI), Human Devices Interaction (HDI) and Optimal Coordination of Complex and Distributed Systems. Denis Gillet is affiliated at EPFL with the Center for Intelligent Systems and the Center for Digital Education.
Maryna ViazovskaEnseignement et PhD Doctorant·es actuel·les Amal Seddas, Matthias Gröbner A dirigé les thèses EPFL de Martin Peter Stoller, Gauthier Leterrier, Nihar Prakash Gargava Cours Discrete mathematics MATH-260(a) Etude des structures et des concepts qui n'utilisent pas la notion de continuité. Théorie des graphes ou étude des ensembles dénombrables sont des exemples de domaines couverts par les mathématiques discrètes. L'accent sera mis sur les structures que les étudiants reverront au cours de le
Martin JaggiMartin Jaggi is a Tenure Track Assistant Professor at EPFL, heading the Machine Learning and Optimization Laboratory. Before that, he was a post-doctoral researcher at ETH Zurich, at the Simons Institute in Berkeley, and at École Polytechnique in Paris. He has earned his PhD in Machine Learning and Optimization from ETH Zurich in 2011, and a MSc in Mathematics also from ETH Zurich.
Babak FalsafiEnseignement et PhD Doctorant·es actuel·les Yuanlong Li, Simla Burcu Harma, Shashwat Shrivastava, Alexandros Poupakis, Shanqing Lin, Ayan Chakraborty, Pooria Poorsarvi Tehrani, Ali Ansari A dirigé les thèses EPFL de Pejman Lotfi Kamran, Sotiria Fytraki, Dejan Novakovic, Stavros Volos, Djordje Jevdjic, Ilknur Cansu Kaynak, Yusuf Onur Koçberber, Javier Picorel Obando, Alexandros Daglis, Mario Paulo Drumond Lages De Oliveira, Arash Pourhabibi Zarandi, Mark Johnathon Sutherland, Siddharth Gupta, Ognjen Glamoc
