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
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
Maria ColomboTeaching & PhD PhD Students Roberto Colombo, Antonio Tirotta, Carl Johan Peter Johansson, Giulia Mescolini Past EPFL PhD Students Luigi De Rosa, Silja Noëmi Aline Haffter, Massimo Sorella Courses Analysis IV - Lebesgue measure, Fourier analysis MATH-205 Learn the basis of Lebesgue integration and Fourier analysis Topics on the Euler and Navier-Stokes equations MATH-647 This topics course focuses on recent and classical fundamental results on the Euler and Navier-Stokes equa
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
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.
Harm-Anton KlokExpertise
Polymer design at nanoscaleBiologically-inspired polymers
Mission
Research at the Laboratory of Polymer (LP) focuses on the development of novel advanced polymeric materials with potential applications in optics, electronics or medicine. The philosophy is that precise control over nanoscale structure is an important prerequisite to tailor polymer properties. To this end, a “bottom-up” approach is followed, which starts with designing a new material at the molecular level, in order to be able to pr
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.
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.
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.
Mikhail ChapochnikovMikhail Shaposhnikov was born in Sochi, Russia, in 1956. He got his degree from Moscow States University in 1979 and his PhD from the Institute for Nuclear Research of the Russian Academy of Sciences in 1982 for his work on the problem of baryon asymmetry of the universe in grand unified theories. He worked from 1982 till 1986 as a junior research scientist and from 1986 till 1991 as a senior research scientist at the Theory Division of the Institute for Nuclear Research of the Russian Academy of Sciences (Moscow). From 1991 till 1998 he worked as a staff member at the Theory Division of European Organisation for Nuclear Research (CERN, Geneva). In 1998 he was appointed as a Professor of Theoretical Physics at the University of Lausanne, in 1999 he became a Director of the Institute of Theoretical Physics of Lausanne University. Since October 2003 he is a Professor at EPFL, leading the Laboratory for Particle Physics and Cosmology.
Friedhelm Christoph HummelExpertise
Stroke recovery Healthy Aging Motor Control Motor Learning Cognitive Control Neuroplasticity Non-invasive Brain Stimulation Structural and functional Neuroimaging Connectivity
Postal Address Campus Biotech
Defitech Chair of Clinical Neuroengineering Brain Mind Institute, SV Neuro X Institute, Swiss Federal Institute of Technology EPFL Campus Biotech Rm H4.3.132.084, 9, Chemin des Mines 1202 Geneva
Teaching & PhD PhD Students Maria Ploumitsakou, Simona Losacco, Fabienne Windel, Andrea Protani, Sta
Auke IjspeertAuke Ijspeert is a full professor at the EPFL, and head of the Biorobotics Laboratory (BioRob). He has a B.Sc./M.Sc. in physics from the EPFL (1995), and a PhD in artificial intelligence from the University of Edinburgh (1999). He carried out postdocs at IDSIA and EPFL, and at the University of Southern California (USC). He then became a research assistant professor at USC, and an external collaborator at ATR (Advanced Telecommunications Research institute) in Japan. In 2002, he came back to the EPFL as an SNF assistant professor. He was promoted to associate professor in October 2009 and to full professor in April 2016. His primary affiliation is with the Institute of Bioengineering, and secondary affiliation with the Institute of Mechanical Engineering. His research interests are at the intersection between robotics, computational neuroscience, nonlinear dynamical systems, and machine learning. He is interested in using numerical simulations and robots to get a better understanding of sensorimotor coordination in animals, and in using inspiration from biology to design novel types of robots and adaptive controllers. (see for instance Ijspeert et al Science 2007, Ijspeert Science 2014, and Nyakatura et al Nature 2019). He is also investigating how to assist people with limited mobility using exoskeletons and assistive furniture. He is regularly invited to give talks on these topics (e.g. TED talk given at TED Global Geneva, Dec 8 2015). With his colleagues, he has received paper awards at ICRA2002, CLAWAR2005, IEEE Humanoids 2007, IEEE ROMAN 2014, CLAWAR 2015, SAB2018, and CLAWAR 2019. He is an IEEE Fellow, member of the Board of Reviewing Editors of Science magazine, and associate editor for the IEEE Transactions on Medical Robotics and Bionics and for the International Journal of Humanoid Robotics. He has acted as an associate editor for the IEEE Transactions on Robotics (2009-2013) and for Soft Robotics (2018-2021). He was a guest editor for the Proceedings of IEEE, IEEE Transactions on Biomedical Engineering, Autonomous Robots, IEEE Robotics and Automation Magazine, and Biological Cybernetics. He has been the organizer of 7 international conferences (BioADIT2004, SAB2004, AMAM2005, BioADIT2006, LATSIS2006, SSRR2016, AMAM2019), and a program committee member of over 50 conferences.
