Simon GuilloudExpertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.
Expertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as
Agathe Claire Estelle MignonEducation PhD | Architecture 2019 – 2019 Ecole Polytechnique Fédérale – Lausanne, Suisse MSc | Architecture 2014 – 2014 Ecole Polytechnique Fédérale – Lausanne, Suisse Directed by Dietz Dieter ; Gargiani Roberto
Teaching & PhD Courses Digital models AR-114 The objective of the digital modeling course is to learn and manipulate the basic functions of the Rhinoceros 3D assisted design software through the development of a sim
Jo François TaillieuTeaching & PhD PhD Students Julien Heil Courses Architectural Tomography AR-129 This course situates the act of drawing as an act of spatial, constructive and contextual investigation. It introduces 2-D sectional drawing as a sociotechnical tool in architecture with a fundamental role in measuring, understanding and imagining complex and situated spatial conditions. Studio BA3 (Taillieu) AR-201(m) A house is the simple topic of this studio. A matter of simple complexity.
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öösWebsite
https://theory.epfl.ch/mika/
Teaching & PhD PhD Students Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan Past EPFL PhD Students Maystre Gilbert Théodore Courses Computational complexity CS-524 In computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation. This course advances the students knowledge of computational complexity, and develop an understanding o Simon BossoneyTeaching & PhD Courses Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) We present the fundamental notions of linear algebra in the geometric context where they emerged. We will therefore emphasize the dimensions 2 and 3, and insist on the visualisation of classical objects and operations in the plane and in the 3D space. Analysis I (for CMS) PREPA-003(a) This first semester class is an introduction to the basis of differential calculus. Analysis II (for CMS)
Martin OderskyMartin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
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éTeaching & PhD PhD Students Laura Espinosa Montalbán, Marouane Toumi, Rohan Singh Past EPFL PhD Students Gianrocco Lazzari, Martin Mathias Müller, Sharada Prasanna Mohanty Courses Digital epidemiology BIO-512 Epidemiology is foundational to medicine and public health. This course starts with the key principles of classical epidemiology, progressing through computational modeling techniques, and concluding with the digital approaches of today. Students will also develop a digital epidemiolo
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 LarusExpertise
James Larus is a Professor Emeritus and former Dean of the School of Computer and Communication Sciences (IC) at EPFL (école Polytechnique Fédérale de Lausanne). Before joining IC in October 2013, Larus was a researcher, manager, and director in Microsoft Research for over 16 years and an Assistant and Associate Professor in the Computer Sciences Department at the University of Wisconsin, Madison.Larus has been an active contributor to numerous communities. He published over 100 papers (with 14 be
Johan AuwerxJohan Auwerx is Professor at the École Polytechnique Fédérale in Lausanne, Switzerland, where he occupies the Nestle Chair in Energy Metabolism. Dr. Auwerx has been using molecular physiology and systems genetics to understand metabolism in health, aging and disease. Much of his work focused on understanding how diet, exercise and hormones control metabolism through changing the expression of genes by altering the activity of transcription factors and their associated cofactors. His work was instrumental for the development of agonists of nuclear receptors - a particular class of transcription factors - into drugs, which now are used to treat high blood lipid levels, fatty liver, and type 2 diabetes. Dr. Auwerx was amongst the first to recognize that transcriptional cofactors, which fine-tune the activity of transcription factors, act as energy sensors/effectors that influence metabolic homeostasis. His research validated these cofactors as novel targets to treat metabolic diseases, and spurred the clinical use of natural compounds, such as resveratrol, as modulators of these cofactor pathways.
Johan Auwerx was elected as a member of EMBO in 2003 and is the recipient of a dozen of international scientific prizes, including the Danone International Nutrition Award, the Oskar Minkowski Prize, and the Morgagni Gold Medal. His work is highly cited by his peers with a h-factor of over 100. He is an editorial board member of several journals, including Cell Metabolism, Molecular Systems Biology, The EMBO Journal, Journal of Cell Biology, Cell, and Science. Dr. Auwerx co-founded a handful of biotech companies, including Carex, PhytoDia, and most recently Mitobridge, and has served on several scientific advisory boards.
Dr. Auwerx received both his MD and PhD in Molecular Endocrinology at the Katholieke Universiteit in Leuven, Belgium. He was a post-doctoral research fellow in the Departments of Medicine and Genetics of the University of Washington in Seattle.
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 the Global Southdiversity 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 protoco
Clément Hongler2006: B.Sc. Math, EPFL2008: M.Sc. Math, EPFL2010: Ph.D. Math, Université de Genève2010-2014: Ritt Assistant Professor, Columbia University2014-2018 Tenure-Track Assistant Professor, EPFL2019-present: Associate Professor, EPFL
Yves BellouardDr. 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 micromanufacturing. He received a BS in Theoretical Physics and a MS in Applied Physics from Université Pierre et Marie Curie in Paris, France in 1994-1995 and a PhD in Microengineering from Ecole Polytechnique Fédérale de Lausanne (EPFL) in Lausanne, Switzerland in 2000. For his PhD work, he received the Omega Scientific prize (2001) for outstanding contribution in the field of microengineering for his work on Shape Memory Alloys. 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 about four years where he started working on femtosecond laser processing of glass materials. From 2010 until 2013, Yves Bellouard initiated and coordinated the Femtoprint project, a European research initiative aiming at investigating a table-top printer for microsystems ('3D printing of microsystems'). In 2013, he received a prestigious ERC Starting Grant (Consolidator-2012) from the European Research Council and a JSPS Fellowship from the Japan Society for the Promotion of Science. His current research interests are on new paradigms for system integration at the microscale and in particular laser-based methods to tailor material properties for achieving higher level of integration in microsystems, like for instance integrating optics, mechanics and fluidics in a single monolith. These approaches open new opportunities for direct-write methods of microsystems (3D printing). Personal website
