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.
Agathe Claire Estelle MignonAprès avoir effectué des études d'architecture d'abord à l'ENSA Marseille puis à l'EPFL (2007-2014), Agathe Mignon a validé une thèse de doctorat sous la direction du professeur Dieter Dietz au sujet de la partcipation des usagers dans la conception architecturale de l'habitat collectif (2019). Enseignant depuis plusieurs années les bases de modélisation numérique aux étudiants en architecture, aisni que le dessin technique dans le cursus de mise à niveau EPFL, elle rejoint en 2023 le laboratoire IBOIS, occ
Jo François TaillieuEnseignement et PhD Doctorant·es actuel·les Julien Heil Cours Théorie et critique du projet BA3 (Taillieu) AR-201(m) Une maison est le simple sujet d'étude de cet atelier. Un sujet d'une complexité simple. Apprendre à construire une maison, c'est apprendre à construire l'architecture. Le programme de l'atelier est le logement fonctionnaliste et sa composition adéquate face à un contexte bâti ou paysager. Théorie et critique du projet BA4 (Taillieu) AR-202(m) Une maison est
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
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.
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.
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
Martin OderskyEnseignement et PhD Doctorant·es actuel·les Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu A dirigé les thèses EPFL de Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Séb
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'.
Marcel SalathéEnseignement et PhD Doctorant·es actuel·les Laura Espinosa Montalbán, Marouane Toumi, Rohan Singh A dirigé les thèses EPFL de Gianrocco Lazzari, Martin Mathias Müller, Sharada Prasanna Mohanty Cours Digital epidemiology BIO-512 L'épidémiologie est fondamentale pour la médecine et la santé publique. Ce cours débute avec les principes clés de l'épidémiologie, avance vers les techniques de modélisation computationnelle, et finit avec les approches digitales. Les étudiants réaliseront un proto
Edouard BugnionEdouard Bugnion joined EPFL in 2012, where his focus is on datacenter systems. His areas of interest include operating systems, datacenter infrastructure (systems and networking), and computer architecture. Before joining EPFL, Edouard spent 18 years in the US, where he studied at Stanford and co-founded two startups: VMware and Nuova Systems (acquired by Cisco). At VMware from 1998 until 2005, he played many roles including CTO. At Nuova/Cisco from 2005 until 2011, he helped build the core engineering team and became the VP/CTO of Ciscos Server, Access, and Virtualization Technology Group, a group that brought to market Ciscos Unified Computing System (UCS) platform for virtualized datacenters. Prof. Bugnion is a Fellow of the ACM. Together with his colleagues, he received the ACM Software System Award for VMware 1.0 in 2009. His paper Disco: Running Commodity Operating Systems on Scalable Multiprocessors" received a Best Paper Award at SOSP '97 and was entered into the ACM SIGOPS Hall of Fame Award in 2008. At EPFL, he received the OSDI 2014 Best Paper Award for his work on the IX dataplane operating system
James Richard LarusEnseignement et PhD A dirigé les thèses EPFL de Stuart Anthony Byma, David Teksen Aksun, Sahand Kashani A co-dirigé les thèses EPFL de Adrien Ghosn, Seyedmahyar Emami
Johan AuwerxEnseignement et PhD Doctorant·es actuel·les Wenyu Liu, Maria Boulougouri, Giacomo Vincenzo Giorgio Von Alvensleben A dirigé les thèses EPFL de Pénélope Andreux, Mitsunori Nomura, Evan Graehl Williams, Hongbo Zhang, Virginija Jovaisaite, Elena Katsyuba, Karim Laurent Gariani, Adrienne Joëlle Laurence Mottis, Hao Li, Peiling Luan, Alexis Bachmann, Mario Romani, Xiaoxu Li, Alessia De Masi, Amélia Lalou A co-dirigé les thèses EPFL de Serge Thanh Son Ducommun, Laura Lukjanenko, Joanna Ratajczak, Angélique Sato
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.
Raffael BaurExpertise
Architect, teacher and researcher. Expertise in sustainable and circular construction systems, detailing, the art and history of craft and fabrication in relation to space and tectonics. Experimental research in timber- and plywood construction, folded sheet metal and textile reinforced concrete (with civil engineers).
Expertise
Architect, teacher and researcher. Expertise in sustainable and circular construction systems, detailing, the art and history of craft and fabrication in relation to space
Patricia GuaitaExpertise
pedagogy of makingdrawing as an actionmultidisciplinary projectsdesign methodologies in 1:1 fabricationexperiential learning processesknowledge transfer with Latin Americadiversity and care
Patricia Guaita is an architect, researcher, and educator with expertise in drawing as an action and social and sustainable research projects. Her work focus on design methodologies, which incorporate drawing by hand, 1:1 fabrication, spatial and tectonic analysis, and the development of construction protocols.
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
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
