Georgios MoschidisEnseignement et PhD Doctorant·es actuel·les Abraham Gabriel Dorsaz Cours Analysis IV (for EL, GM, MX) MATH-207(c) Ce cours est une introduction à la théorie de l'analyse complexe, aux séries et transformées de Fourier, à la transformée de Laplace, avec des applications à la théorie des équations différentielles ordinaires et partielles. Differential geometry I - curves and surfaces MATH-213 Ce cours constitue une introduction à la géométrie différentielle classique, qui ét
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 VidickEnseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography
Yanina Yurina ShkelEnseignement et PhD Doctorant·es actuel·les Serhat Emre Coban, Anuj Kumar Yadav, Cemre Çadir Cours Advanced probability and applications COM-417 Dans ce cours, différents aspects de la théorie des probabilités sont abordés. La première partie est dévolue à ses principaux théorèmes (loi des grands nombres, théorème central limite), tandis que la seconde partie porte sur la théorie des martingales et inégalités de concentration. Signal processing COM-202 Théorie et appli.du t
Michele PuppinEnseignement et PhD A co-dirigé les thèses EPFL de Fei Guo Cours Attosecond radiation sources PHYS-761 Le cours traite les principes des lasers et des sources d'électrons pulsées.
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ë HolmesEnseignement et PhD Doctorant·es actuel·les Ricard Puig, Sacha Lerch, Reyhaneh Aghaei Saem, Shao Hen Chiew, Weijie Xiong, Marc Sanz Drudis, Mehrad Sahebi, Manuel Rudolph Cours Quantum information theory PHYS-550 Après avoir revu les bases de la théorie quantique du point de vue de la théorie de l'information, nous couvrirons des sujets plus avancés en théorie de l'information quantique tels que les mesures de l'information quantique et la compréhension des états, canaux et mesures quantiqu
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 MoninEnseignement et PhD Cours Algebra III - rings and fields MATH-215 C'est un cours introductoire dans la théorie d'anneau et de corps. Analyse I (anglais) MATH-101(en) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Topology III - Homology MATH-323 L'homologie est l'un des outils les plus importants pour étudier les espaces topologiques et elle joue un rôle important dans de nombreux domaine
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 ColomboEnseignement et PhD Doctorant·es actuel·les Roberto Colombo, Antonio Tirotta, Carl Johan Peter Johansson, Giulia Mescolini A dirigé les thèses EPFL de Luigi De Rosa, Silja Noëmi Aline Haffter, Massimo Sorella Cours Analysis IV - Lebesgue measure, Fourier analysis MATH-205 Apprendre les bases de l'intégrale de Lebesgue et l'analyse de Fourier. Topics on the Euler and Navier-Stokes equations MATH-647
Mika Tapani GöösEnseignement et PhD Doctorant·es actuel·les Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan A dirigé les thèses EPFL de Maystre Gilbert Théodore Cours Computational complexity CS-524 En théorie de la complexité, nous étudions les ressources nécessaires à résoudre des problèmes et les relations entre différents modèles de calcul.Ce cours donne une meilleure connaissance de la complexité informatique et aborde les questions ouvertes fondamentales.
Aline ZanardiniEnseignement et PhD Cours Algebra V - Galois theory MATH-317 La théorie de Galois se situe à l'interface de la théorie des corps et de la théorie des groupes. Il vise à décrire les symétries algébriques des corps. Nous nous concentrerons sur la théorie de Galois pour les extensions de corps finis et certaines applications. Algebraic geometry I - Curves MATH-328 La géométrie algébrique est le langage commun à de nombreuses branches de la recherche moderne en mathématiques. Ce
Jonathan Yuelin DongEnseignement et PhD Doctorant·es actuel·les Zhiyuan Hu A co-dirigé les thèses EPFL de 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 BoumalEnseignement et PhD Doctorant·es actuel·les Andreea-Alexandra Musat A dirigé les thèses EPFL de Christopher Criscitiello, Quentin Rebjock Cours Algèbre linéaire MATH-111(e) L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications. 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
