Georgios MoschidisTeaching & PhD PhD Students Abraham Gabriel Dorsaz Courses Analysis IV (for EL, GM, MX) MATH-207(c) This course serves as an introduction to the theory of complex analysis, Fourier series and Fourier transforms, the Laplace transform, with applications to the theory of ordinary and partial differential equations. These tools play an integral role in most branches of science and engineering. Differential geometry I - curves and surfaces MATH-213 This course serves as an intr
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
Yanina Yurina ShkelTeaching & PhD PhD Students Serhat Emre Coban, Anuj Kumar Yadav, Cemre Çadir Courses Advanced probability and applications COM-417 In this course, various aspects of probability theory are considered. The first part covers the main theorems in the field (law of large numbers, central limit theorem), while the second part focuses on the theory of martingales and concentration inequalities. Signal processing COM-202 Signal processing theory and applications: discrete and cont
Michele PuppinExpertise
Time and angle-resolved photoelectron spectroscopy Ultrafast optics Nonliner optics and high-harmonic generation X-ray photoelectron spectroscopy X-ray absorption spectroscopy
Teaching & PhD Past EPFL PhD Students as codirector Fei Guo Courses Attosecond radiation sources PHYS-761 This course describes the principles of attosecond photons and electron pulses generation
Younes Pierre ZineExpertise
I mainly work on (deterministic and random) nonlinear PDEs by using techniques and insights from PDE theory, probability theory and Fourier analysis.My website:https://younes-zine.github.io
Expertise
I mainly work on (deterministic and random) nonlinear PDEs by using techniques and insights from PDE theory, probability theory and Fourier analysis.My website:https://younes-zine.github.io
Education Ph.D. | 2020 – 2023 The University of Edinburgh Zoë HolmesTeaching & PhD PhD Students Ricard Puig, Sacha Lerch, Reyhaneh Aghaei Saem, Shao Hen Chiew, Weijie Xiong, Marc Sanz Drudis, Mehrad Sahebi, Manuel Rudolph Courses Quantum information theory PHYS-550 After recapping the basics of quantum theory from an informationtheoretic perspective, we will cover more advanced topics inquantum information theory. This includes introducing measures of quantum information, and developing a more advanced understanding quantum states, channels and measurement
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
Leonid MoninTeaching & PhD Courses Algebra III - rings and fields MATH-215 This is an introductory course in ring and field theory. Analysis I (English) MATH-101(en) We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable. Topology III - Homology MATH-323 Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course 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.
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
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 Aline ZanardiniTeaching & PhD Courses Advanced linear algebra I MATH-110(b) The purpose of this course is to introduce the basic notions of linear algebra and to prove the main results of the subject. Algebra V - Galois theory MATH-317 Galois theory lies at the interface of Field Theory and Group Theory. It aims to describe the algebraic symmetries of fields. We will focus on Galois theory for finite field extensions and some applications. Algebraic geometry I - Curves MATH-328
Jonathan Yuelin DongTeaching & PhD PhD Students Zhiyuan Hu Past EPFL PhD Students as codirector Yan Liu
Sankalp GambhirExpertise
My current research revolves around proof assistants and program verification. I often find myself distracted by related topics in verification, synthesis, and logic as well. I have briefly worked in quantum information theory as part of my bachelor's thesis before.I am currently working primarily on the LISA proof assistant, writing proofs, and thinking about programs. Always happy to chat about computer science, maths, or physics!
I am a doctoral assistant at EPFL working with Prof. Viktor KunÄ
Nicolas BoumalTeaching & PhD PhD Students Andreea-Alexandra Musat Past EPFL PhD Students Christopher Criscitiello, Quentin Rebjock Courses Continuous optimization MATH-329 This course introduces students to continuous, nonlinear optimization. We study the theory of optimization with continuous variables (with full proofs), and we analyze and implement important algorithms to solve constrained and unconstrained problems. Linear Algebra MATH-111(e) The purpose of the course is to introduce
