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
Hervé BourlardTeaching & PhD Past EPFL PhD Students Astrid Hagen, Katrin Weber, Todd Stephenson, Jitendra Ajmera, Shajith Ikbal, Mathew Magimai Doss, Mohamed Faouzi Benzeghiba, Mark Barnard, Yann Rodriguez, Hemant Misra, Christos Dimitrakakis, Guillaume Lathoud, Alexei Pozdnoukhov, Agnès Just, Mikaela Keller, Norman Hoon Thian Poh, Dong Zhang, Florent Monay Michaud, Pedro Manuel Da Silva Quelhas, Kevin Smith, Silèye Oumar Ba, Bertrand Mesot, Hamed Ketabdar, David Grangier, Guillermo Aradilla, Jean-François Paiement, Nico
Babak FalsafiBabak is a Professor in the School of Computer and Communication Sciences and the founding director of the EcoCloud, an industrial/academic consortium at EPFL investigating scalable data-centric technologies. He has made numerous contributions to computer system design and evaluation including a scalable multiprocessor architecture which was prototyped by Sun Microsystems (now Oracle), snoop filters and memory streaming technologies that are incorporated into IBM BlueGene/P and Q and ARM cores, and computer system performance evaluation methodologies that have been in use by AMD, HP and Google PerKit . He has shown that hardware memory consistency models are neither necessary (in the 90's) nor sufficient (a decade later) to achieve high performance in multiprocessor systems. These results eventually led to fence speculation in modern microprocessors. His latest work on workload-optimized server processors laid the foundation for the first generation of Cavium ARM server CPUs, ThunderX. He is a recipient of an NSF CAREER award, IBM Faculty Partnership Awards, and an Alfred P. Sloan Research Fellowship. He is a fellow of IEEE and ACM.
Jean-Louis ScartezziniDirector of EPFL Solar Energy and Building Physics Laboratory (1994-present); Founder & Director of ENAC Institute of Infrastructures, Resources and Environment (2002-2009); Founder & Director of EPFL Doctoral Program in Environment (2002-2009); Co-Director of EPFL Institute of Building Technology (1994-1997); Associate Professor of Building Physics at EPFL (1994-1997); Associate Professor of Building Physics at University of Geneva (1990-1997); Group Leader & Research Fellow at the EPFL Solar Energy Research Group (1981-1989); Research Fellow at the Applied Geophysics Institute of University of Lausanne (1980-1981).
Ambrogio FasoliAmbrogio FASOLI was born on November 10, 1964, in Milano, Italy. After a classical high school diploma (Maturità Classica) and graduation from the University of Milano, with the degree of Dottore in Fisica, he obtained his Phd at the Ecole Polytechnique Fédérale (EPFL) with a thesis on chaos in wave-particle interactions in plasmas, which was awarded the Best EPFL Thesis prize, in 1993. He then moved to the JET Joint Undertaking, the largest worlds fusion device, near Oxford, UK, to investigate Alfvén waves and burning plasma physics. In 1995-1996 he took a sabbatical leave, visiting several Universities and Research Institutes in Europe and in the USA, including three months at General Atomics in San Diego. In 1996-1997, during a second period at JET, he participated in the fusion power worlds record experiments in Deuterium-Tritium plasmas at JET. In 1997 he was nominated Assistant Professor in MIT Physics Department, where he led a basic plasma physics group and the international collaboration between MIT and JET. In 2001 Ambrogio FASOLI was nominated Assistant Professor of Physics at EPFL, Lausanne, Switzerland, and Professeur Boursier of the Swiss National Science Foundation. He became member of CRPP Directorate and took the leadership of CRPP basic plasma physics group and of the TCV tokamak, one of the major fusion experiments worldwide. At European level he was scientific coordinator for JET experiments, spokesperson for multi-machine experiments in the frame of International Tokamak Physics Activities, and Project Leader for a JET Enhancement project. In 2005 he became Associate Professor of Physics with tenure at EPFL, then member of EFDA Science and Technology Advisory Committee, and of the Steering Committee of the Association EURATOM-Swiss Confederation. From 2006 he was also Deputy Director, then from 2007 Executive Director of CRPP and from 2008 Full Professor of Physics at EPFL. For a number of years he was the Chair of the EPFL Physics Strategic Committee and a member of the Directorate of the EPFL School of Sciences. Since the summer of 2014 Professor FASOLI was the sole Director of CRPP. He now represents Switzerland in the EUROfusion General Assembly and Bureau, and in the Governing Board for Fusion for Energy. He is member of the EUROfusion DEMO project Board, of the Scientific Board of the Helmotz Virtual Institute on Advanced Microwave Diagnostics, of the European Delegation for the Cooperation between Euratom and the Government of India in Fusion Energy Research, of the European Consortium for the development of the ITER gyratron (EGYC), and participates to numerous international review panels. He chairs the FuseNet Academic Council, the International Advisory Panel for the Laboratory of Excellence Plas@Par in the Sorbonne Universities, the European Consortium for the construction of the ITER microwave Upper Launcher (ECHUL), and the Promotion Committee of the EPFL Faculty of Basic Sciences. He is one the three European representatives in the International Tokamak Physics Activities Coordinating Committee, advising ITER, and the Editor-in-Chief of the IAEA journal Nuclear Fusion. Since January 2019, Ambrogio Fasoli is the Chair of the General Assembly, i.e. the president of EUROfusion, the European Consortium for Development of Fusion Energy. Professor FASOLI is a Fellow of the American Physical Society and since 2001 a Visiting Professor at MIT Physics Department. He is the Director of the Swiss Plasma Center.
Katrin BeyerSince 2017 Associate Professor, School of Architecture, Civil and Environmental Engineering (ENAC), EPFL. Head of the Earthquake Engineering and Structural Dynamics (EESD) Laboratory
2010-2017 Assistant Professor, EPFL.
2008-2010 Post-doctoral researcher, ETH Zürich.
2003-2007 Ph.D., Roseschool / Università di Pavia, Italy.
2001-2003 Ove Arup & Partners, Advanced Technology and Research Group, London.
2001 Diploma, Civil engineering, ETH Zürich.
Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
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.
