Alessandro ChiesaAlessandro Chiesa is a faculty member in computer science. He conducts research in complexity theory, cryptography, and security, with a focus on the theoretical foundations and practical implementations of cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was included in MIT Technology Review's "35 Innovators Under 35" list in 2018.
Maria PavlouTeaching & PhD PhD Students Yong-Qi Gao Courses Methods: omics in biomedical research BIOENG-519 High-throughput methodologies broadly called Omics allow to characterize the complexity and dynamics of any biological system. This course will provide a general description of different methods related to the Omics field followed by hands-on rotations in participating technological platforms.
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
Lenka ZdeborováLenka Zdeborová is a Professor of Physics and of Computer Science in École Polytechnique Fédérale de Lausanne where she leads the Statistical Physics of Computation Laboratory. She received a PhD in physics from University Paris-Sud and from Charles University in Prague in 2008. She spent two years in the Los Alamos National Laboratory as the Director's Postdoctoral Fellow. Between 2010 and 2020 she was a researcher at CNRS working in the Institute of Theoretical Physics in CEA Saclay, France. In 2014, she was awarded the CNRS bronze medal, in 2016 Philippe Meyer prize in theoretical physics and an ERC Starting Grant, in 2018 the Irène Joliot-Curie prize, in 2021 the Gibbs lectureship of AMS. She is an editorial board member for Journal of Physics A, Physical Review E, Physical Review X, SIMODS, Machine Learning: Science and Technology, and Information and Inference. Lenka's expertise is in applications of concepts from statistical physics, such as advanced mean field methods, replica method and related message-passing algorithms, to problems in machine learning, signal processing, inference and optimization. She enjoys erasing the boundaries between theoretical physics, mathematics and computer science.
Laura GrigoriExpertise
Numerical linear algebra, deterministic and randomized algorithmsHigh performance computing for scientific applicationsHigh dimensional problems and tensor computationsApplications in astrophysics, molecular simulations, etcCombinatorial scientific computingMathematical Software
Teaching & PhD PhD Students Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Courses Numerical analysis and computational mathematics MATH-456 The cou
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
Thomas Georges Pierre VidickTeaching & PhD PhD Students Itammar Steinberg, Aviv Taller Courses Formal Mathematics with Lean and AI CS-643 This graduate course provides an introduction to using Lean proof assistant to formalize mathematical definitions and theorems. We will have lectures on foundations (formal proofs, dependent type theory), learn about practice (proof tactics, use of AI, etc) and work on a formalization project. Introduction to quantum computation CS-308 The course introduces the para
Giuseppe CarleoGiuseppe Carleo is a computational quantum physicist, whose main focus is the development of advanced numerical algorithms tostudy challenging problems involving strongly interacting quantum systems.He is best known for the introduction of machine learning techniques to study both equilibrium and dynamical properties,based on a neural-network representations of quantum states, as well for the time-dependent variational Monte Carlo method.He earned a Ph.D. in Condensed Matter Theory from the International School for Advanced Studies (SISSA) in Italy in 2011.He held postdoctoral positions at the Institut d’Optique in France and ETH Zurich in Switzerland, where he alsoserved as a lecturer in computational quantum physics.In 2018, he joined the Flatiron Institute in New York City in 2018 at the Center for Computational Quantum Physics (CCQ), working as a Research Scientist and project leader, and also leading the development of the open-source project NetKet.Since September 2020 he is an assistant professor at EPFL, in Switzerland, leading the Computational Quantum Science Laboratory (CQSL).
Jean-Charles Louis André CoustyTeaching & PhD Courses Automated analytical and synthetic chemistry 1 ChE-602 The course gives a general understanding of lab automation theory and practical knowledge. It is structured to integrate theoretical foundations, hands-on practical exercises (e.g., Arduino programming), and individualized project analysis.
Stefano Di LeoneTeaching & PhD Courses Automated analytical and synthetic chemistry 1 ChE-602 The course gives a general understanding of lab automation theory and practical knowledge. It is structured to integrate theoretical foundations, hands-on practical exercises (e.g., Arduino programming), and individualized project analysis.
Mats Julius StensrudTeaching & PhD PhD Students Ignacio Gonzalez Perez, Gellért Géza Perényi, Lorenzo Gasparollo, Julien David Laurendeau Past EPFL PhD Students Matias Janvin, Amit Sawant Courses Causal thinking MATH-352 This course will give a unified presentation of modern methods for causal inference. We focus on concepts, and we will present examples and ideas from various scientific disciplines, including medicine, computer science, engineering, economics and epidemiology. Probability and statistics (
Olga FinkTeaching & PhD PhD Students Han Sun, Leandro Von Krannichfeldt, Keivan Faghih Niresi, Zepeng Zhang, Vinay Sharma, Chenghao Xu, Raffael Pascal Theiler, Kevin Antonio Steiner, Sergei Garmaev, Amaury Wei Past EPFL PhD Students Ismail Nejjar, Mengjie Zhao Courses Data Science for infrastructure condition monitoring CIVIL-332 The course will cover the relevant steps of data-driven infrastructure condition monitoring, starting from data acquisition, going through the steps pre-processing of real
Vittorio ErbaTeaching & PhD Courses Statistical physics of computation PHYS-512 The students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and machine learning.
Oliver JanzerTeaching & PhD PhD Students Rik Sarkar Courses Algebraic methods in combinatorics MATH-526 In this course we study how algebraic methods can be used to solve problems in combinatorics. The main tools used are from linear algebra and from the theory of polynomials. Graph theory MATH-360 The course aims to introduce the basic concepts and results of modern Graph Theory.
Awards European Prize in Combinatorics 2025 British Combinatorial Committee PhD Prize 2022 Smith-Knight
Roberto RibattiTeaching & PhD Courses Specialisation semester PHYS-597 Students have the opportunity to apply their knowledge in a project contributing to specialize them in a physics field. The project can take place in an external or internal laboratory or in a research institute.
Manuel Sebastian RudolphExpertise
Computational quantum physicsQuantum algorithmsQuantum machine learningGenerative modeling
Manuel is a PhD Candidate at EPFL in the group of Prof. Zoë Holmes, where he focuses on the numerical simulation of quantum computers. Together with his collaborators, he studies which properties make quantum circuits easy or hard to simulate classically, and how efficient classical simulability is connected to the barren plateau phenomenon. Manuel develops high-performance quantum simulation software and is
Pasquale ScarlinoI obtained my master's degree in Physics at the University of Salento, Lecce (Italy) in February 2011. During 2006-2011, I have also been a student of Scuola Superiore ISUFI (SSI). SSI is one of six schools of excellence established in Italy to develop the intellectual capital in technological and social sciences. I conducted an external Master thesis project during an 8 months internship in the Quantum Transport Group at TU Delft, under the supervision of Prof. L.M.K. Vandersypen. There, I implemented the Quantum Point Contact Radio-Frequency Reflectometry technique, which allows increasing the single-shot electron spin readout bandwidth and is currently routinely used in the group.I obtained my Ph.D. degree in February 2016, in the Spin Qubits group of Prof. L.M.K. Vandersypen at the Kavli Institute of Nanoscience-Qutech (TU Delft). During my Ph.D. I have been leading the Si/SiGe spin qubits project, collaborating with the M. Eriksson Group at Wisconsin University. In parallel, I have been working on other different projects, in particular with GaAs depletion quantum dots, high impedance superconducting resonators, and surface acoustic wave resonators. I have been working as a Postdoc fellow in the group of Prof. A. Wallraff (Quantum Device Lab) at ETH Zurich. My main project, in collaboration with the group of Prof. K. Ensslin and Prof. T. Ihn, consisted in integrating semiconductor and superconductor technologies. Realizing a well-controlled interface between the semiconductor and superconductor-based quantum information technologies may allow harnessing the best of both device architectures, for example by providing an interface between strongly coupled charge state and high coherence spin states. Furthermore, it enables the possibility to explore light/matter hybridization in a class of solid-state systems and regimes that are new in the context of quantum optics.From June 2019 till September 2020, I have been a Senior Researcher at Microsoft Station Q Copenhagen and at the Center for Quantum Devices in Copenhagen, focusing on developing semiconductor-superconducting hybrid hardware for topologically protected quantum computation.Since October 2020, I am a tenure track Assistant Professor of Physics in the School of Basic Sciences at the EPFL where I founded the Hybrid Quantum Circuit (HQC) laboratory.
