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
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.
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.
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.
Henning Paul-Julius StahlbergPositions:
Since 2020 Prof. Physics, IPHYS, SB, EPFL, Switzerland 2009 – 2021 Prof. Structural Biology, Biozentrum, University Basel, Switzerland
2009 – 2010 Adj. Assoc. Prof. Molecular & Cellular Biology, UC Davis, CA, USA
2007 – 2009 Assoc. Prof. Molecular & Cellular Biology, UC Davis, CA, USA
2003 – 2007 Assist. Prof. Molecular & Cellular Biology, UC Davis, CA, USA
Education: 2002 Habilitation, Biozentrum, University Basel, Switzerland 1997 – 2003 Postdoctoral Fellow, Biozentrum, University Basel, Switzerland 1992 – 1997 PhD Student, EPFL, Lausanne, Switzerland 1990 – 1991 Diploma Thesis in Solid State Physics, TU Berlin, Germany 1987 – 1993 Study of Physics, TU Berlin, Germany Selected Awards & Honors: 2009 W.M.Keck Award 2004 CAREER award, NSF, USA 2002 Habilitation, University Basel, Switzerland Selected Memberships: 2008 – 2013 Chancellor’s Fellow Award, UC Davis, CA, USA 2004 – 2009 Faculty of 1000 Since 1992 Swiss Society for Optics and Microscopy (SSOM)
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.
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
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'
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'.
Paul Joseph DysonPaul Dyson rejoignit l’EPFL en 2002 à la tête du Laboratoire de chimie organométallique et médicinale de l’Institut des sciences et ingénierie chimiques, dont il en assuma ensuite la direction entre 2008 et 2016.
Le prof. Dyson a été récompensé par de nombreux prix dont le Prix Werner de la Société Suisse de Chimie en 2004, le Prix pour les réalisations exceptionnelles en chimie bio organométallique en 2010, la Médaille du Centenaire de la naissance de Luigi Sacconi (2011) de la Société Italienne de Chimie, le Prix de Chimie bio-inorganique de la Royal Society of Chemistry en 2015, le Prix européen pour une chimie durable de la Société Européenne de Chimie en 2018 et le Prix pour la chimie verte de la Royal Society of Chemistry en 2020.
Le prof. Dyson est également mentionné dans la liste établie par Clarivate des chercheurs les plus cités (Clarivate Highly Cited Researcher), avec un H-index >110 (Web of Science et Google Scholar). Paul Dyson a été élu membre de la Royal Société de Chimie en 2010, membre de l’Académie Européenne des Sciences en 2019 et membre à vie de l’Association Américaine pour l’Avancement de la Science en 2020. Au cours des dernières années il s’est vu décerner le titre de Professeurs Hôte par l’Université de Bourgogne, l’Université de Pierre et Marie Curie, l’Université de Vienne, l’Université de Rome Tor Vergara, l'Ecole Nationale Supérieure de chimie de Paris (Chimie ParisTech) et par l’Université de Shangai Jiao Tong.
De 2016 à 2021 il était membre du conseil de la recherche de la division de mathématique, sciences naturelles et de l’ingénieur du Fonds National Suisse. En 2021, il a été nommé doyen de la Faculté des Sciences de Base.
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.
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
Mohamed BouriDr. Mohamed Bouri is a group leader of Rehabilitation and Assistive Robotics in LSRO and lecturer of Robotics and Industrial Robotics. He graduated in Electrical Engineering in 1992 and obtained his PhD degree in 1997 in Industrial Automation at INSA LYON, France. Since 1997, he is at EPFL and is mainly active in the field of robot control, automation and robot design for medical and industrial applications. He is the head of Rehabilitation and Assistive Robotics group since 2005 and has strong references with the development of robotic devices for lower limb rehabilitation : The MotionMaker and WalkTrainer commercialzed by the company Swortec. His ongoing research currently focuses on the development of exoskeletons and the associated control strategies. His main current projects are TWIICE, a lower limb exoskeleton for people with paraplegia, AUTONOMYO, a walk assistance exoskeleton for people with muscle weakness, and the HiBSO, a hip orthosis for elderly.
